Proving properties of states in the situation calculus. (1993)

by R Reiter
Venue:Artificial Intelligence