Mechanizing the temporal logic of actions in HOL (1991)

by J von Wright
Venue:Higher Order Logic Theorem Proving and its Applications (TPHOL