Proving Properties of States in the Situation Calculus (1993)

by R Reiter
Venue:Artificial Intelligence