"A Practical Decision Method for Propositional Dynamic Logic: Preliminary ..."

Vaughan R. Pratt (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics