A Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal Logic.

Sukhamay Kundu

Browse the full ISMIS paper archive.