Modelling and analysis of normative documents

John J. Camilleri, Gerardo Schneider. Modelling and analysis of normative documents. Journal of Logic and Algebraic Programming, 91:33-59, 2017. [doi]

Abstract

Abstract is missing.