Representing actions in extended logic programs (1992)

by Michael Gelfond, Vladimir Lifschitz
Venue:In International Conference onLogic Programming