Theory and practice of temporal logic programming (1992)

by M A Orgun, W W Wadge
Venue:Intensional Logics for Programming