1. T. Agnoloni , L. Bacci , E. Francesconi , W. Peters , S. Montemagni , and G. Venturi . 2009. A two-level knowledge approach to support multilingual legislative drafting. In Law, Ontologies and the Semantic Web, J. Breuker, P. Casanovas, M. Klein, and E. Francesconi (Eds.) . Frontiers in Artificial Intelligence and Applications , Vol. 188 . IOS Press, Amsterdam, The Netherlands, 177--198. T. Agnoloni, L. Bacci, E. Francesconi, W. Peters, S. Montemagni, and G. Venturi. 2009. A two-level knowledge approach to support multilingual legislative drafting. In Law, Ontologies and the Semantic Web, J. Breuker, P. Casanovas, M. Klein, and E. Francesconi (Eds.). Frontiers in Artificial Intelligence and Applications, Vol. 188. IOS Press, Amsterdam, The Netherlands, 177--198.
2. Some Uses of Symbolic Logic in Law Practice;Allen L.;MULL: Modern Uses of Logic in Law,1962
3. G. Antoniou , D. Billington , G. Governatori , and M.J. Maher . 1999. On the modeling and analysis of regulations . In Proceedings of the Australian Conference Information Systems . Victoria University of Wellington, New Zealand, 20--29. G. Antoniou, D. Billington, G. Governatori, and M.J. Maher. 1999. On the modeling and analysis of regulations. In Proceedings of the Australian Conference Information Systems. Victoria University of Wellington, New Zealand, 20--29.
4. Identification of Contradictions in Regulation