Macao, China

Pablo F. Castro , T. S. E. Maibaum, A complete and compact propositional deontic logic, Proceedings of the 4th international conference on Theoretical aspects of computing, p.109-123, September 26-28, 2007, Macao, China

2007