A highly restricted temporal logic with a tractable decision procedure /
Pratt, Ian.
University of Manchester.Department of Computer Science.
Manchester : Dept. of Computer Science, University of Manchester,
c1994.