Verification in Predicate Logic with Time: Algorithmic Questions.

Anatol Slissenko Verification in Predicate Logic with Time: Algorithmic Questions. 3-17 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_2 db/conf/csl/csl2005.html#Slissenko05