Books by International Workshop on Deontic Logic in Computer Science (3rd 1996 Sesimbra, Portugal) on BookTides.