On four logics of programs and complexity of their satisfiability problems: extended abstract.

Bogdan S. Chlebus On four logics of programs and complexity of their satisfiability problems: extended abstract. 98-107 1980 conf/lop/1980 Logic of Programs db/conf/lop/lop1980.html#Chlebus80