@inproceedings{8b826d6bc6f34b799842c3a5721fb258,
title = "Combining dynamic deontic logic and temporal logic for the specification of deadlines",
author = "F.P.M. Dignum and R. Kuiper",
year = "1997",
doi = "10.1109/HICSS.1997.663191",
language = "English",
isbn = "0-8186-7734-1",
volume = "5",
pages = "336--346",
editor = "R. Sprangue",
booktitle = "Proceedings 30th Annual Hawaii Conference on System Sciences (HICSS-30, Maui, Hawaii, USA, January 7-10, 1997)",
publisher = "IEEE Computer Society",
address = "United States",
}