Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7--9, 2010. Proceedings
scientific article; zbMATH DE number 5760329