Applications of deontic logic in computer science: A concise overview (1993)

by R Wieringa, J Meyer
Venue:In Deontic Logic in Computer Science