A First Order Theory of Planning, Knowledge, and Action.

Leora Morgenstern A First Order Theory of Planning, Knowledge, and Action. 99-114 1986 conf/tark/1986 TARK db/conf/tark/tark1986.html#Morgenstern86