Discrete linear temporal logic with current time point clusters, deciding algorithms

Logic and Logical Philosophy, Tom 17, Numer 1-2 (2008) s. 143-161
V. Rybakov

 

do góry