Lifschitz, Vladimir "On the Semantics of Strips" Reasoning About Actions and Plans, M. Georgeff and A. Lansky (Eds.) pp1-9 1986
(1987)
Languages mentioned
Strips
{1969} Extra-logical problem solver