Ron van der Meyden
A Clausal Logic for Deontic Action Specification
ICLP, 1991.
@inproceedings{ISLP-1991-Meyden, author = "Ron van der Meyden", booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}", isbn = "0-262-69147-7", pages = "221--238", publisher = "{MIT Press}", title = "{A Clausal Logic for Deontic Action Specification}", year = 1991, }