c-ijcai-93-866: Chitta Baral and Michael Gelfond.
Representing Concurrent Actions in Extended Logic Programming.
[Proc. International Joint Conference on Artificial Intelligence, 1993, pp. 866-871].