Representing Action and Change by Logic Programs (1993)

by Michael Gelfond, Vladimir Lifschitz
Venue:Journal of Logic Programming