Machine generated authority record.

Work cat.: (OSt)0: International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Portugal) 8785, Deontic logic in computer science :, c2004.