Jorge A. Baier On Procedure Recognition in the Situation Calculus. 33-42 2002 conf/sccc/2002 SCCC http://csdl.computer.org/comp/proceedings/sccc/2002/1867/00/18670033abs.htm db/conf/sccc/sccc2002.html#Baier02