On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.

Stavros Vassos Hector J. Levesque On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. 1004-1009 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#VassosL08