[1] Michael Gelfond and Vladimir Lifschitz,
Representing Actions in Extended Logic Programming
, Proceedings of the Joint International Conference and Symposium on Logic Programming, ed. Krzysztof Apt, MIT Press, page 560, 1992.