Representing actions and change by logic programs (1993)

by M Gelfond, V Lifschitz
Venue:Journal of Logic Programming