Representing concurrent actions in extended logic programming (1993)

by C Baral, M Gelfond
Venue:In Proc. of 13th International Joint Conference onArti cial Intelligence, Chambery