Proving Properties of States in the Situation Calculus (1993)

by Ray Reiter
Venue:Artificial Intelligence