@article(ntl_journal,
 author       = "Thomas {\r A}gotnes and Wiebe van der Hoek and Juan A. Rodr{\i }guez-Aguilar and Carles Sierra and Michael Wooldridge",
 year         = "2009",
 title        = "{A Temporal Logic of Normative Systems}",
 journal      = "Towards Mathematical Philosophy",
 volume       = "28",
 pages        = "69--106",
 doi          = "10.1007/978-1-4020-9084-4\_5",
)
@article(expressive_conception_of_norms,
 author       = "C.E. Alchourr{\'o}n and E. Bulygin",
 year         = "1981",
 title        = "{The expressive conception of norms}",
 journal      = "New studies in deontic logic",
 volume       = "152",
 pages        = "95--124",
)
@inproceedings(divine,
 author       = "J. Barnat and L. Brim and I. \v {C}ern\'{a} and P. Moravec and P. Ro\v {c}kai and P. \v {S}ime\v {c}ek",
 year         = "2006",
 title        = "{DiVinE -- A Tool for Distributed Verification (Tool Paper)}",
 booktitle    = "{Computer Aided Verification}",
 series       = "LNCS",
 volume       = "4144/2006",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "278--281",
 doi          = "10.1007/11817963\_26",
)
@conference(SCR,
 author       = "R. Bharadwaj and C. Heitmeyer",
 year         = "2002",
 title        = "{Developing high assurance avionics systems with the SCR requirements method}",
 booktitle    = "Digital Avionics Systems Conferences, 2000. Proceedings. DASC. The 19th",
 volume       = "1",
 organization = "IEEE",
 doi          = "10.1109/DASC.2000.886888",
)
@inproceedings(permissions_and_obligations_in_hier_normative_systems,
 author       = "Guido Boella and Leendert van der Torre",
 year         = "2003",
 title        = "Permissions and obligations in hierarchical normative systems",
 booktitle    = "ICAIL '03: Proceedings of the 9th international conference on Artificial intelligence and law",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "109--118",
 doi          = "10.1145/1047788.1047818",
)
@proceedings(DBLP:conf/dagstuhl/2007P7122,
 editor       = "Guido Boella and Leendert W. N. van der Torre and Harko Verhagen",
 year         = "2007",
 title        = "Normative Multi-agent Systems, 18.03. - 23.03.2007",
 series       = "Dagstuhl Seminar Proceedings",
 volume       = "07122",
 publisher    = "Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany",
)
@inproceedings(DBLP:conf/deon/BroersenDDM04,
 author       = "Jan Broersen and Frank Dignum and Virginia Dignum and John-Jules Ch. Meyer",
 year         = "2004",
 title        = "Designing a Deontic Logic of Deadlines",
 editor       = "Alessio Lomuscio and Donald Nute",
 booktitle    = "DEON",
 series       = "Lecture Notes in Computer Science",
 volume       = "3065",
 publisher    = "Springer",
 pages        = "43--56",
 doi          = "10.1007/978-3-540-25927-5\_5",
)
@inproceedings(SED-LTL2006,
 author       = "Julien Brunel and Jean-Paul Bodeveix and Mamoun Filali",
 year         = "2006",
 title        = "A State/Event Temporal Deontic Logic",
 editor       = "Lou Goble and John-Jules Ch. Meyer",
 booktitle    = "DEON",
 series       = "Lecture Notes in Computer Science",
 volume       = "4048",
 publisher    = "Springer",
 pages        = "85--100",
 doi          = "10.1007/11786849\_9",
)
@article(nusmv,
 author       = "A. Cimatti and E. Clarke and F. Giunchiglia and M. Roveri",
 year         = "2000",
 title        = "{NuSMV: a new symbolic model checker}",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "2",
 number       = "4",
 pages        = "410--425",
 doi          = "10.1007/s100090050046",
)
@inproceedings(corapi-norm,
 author       = "D. Corapi and M. De Vos and J. Padget and A. Russo and K. Satoh",
 year         = "2010",
 title        = "{Norm Refinement and Design through Inductive Learning}",
 booktitle    = "11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems",
 pages        = "33--48",
 doi          = "10.1007/978-3-642-21268-0\_5",
)
@inproceedings(DBLP:conf/deon/FrenchMR10,
 author       = "Tim French and John Christopher McCabe-Dansted and Mark Reynolds",
 year         = "2010",
 title        = "Axioms for Obligation and Robustness with Temporal Logic",
 editor       = "Guido Governatori and Giovanni Sartor",
 booktitle    = "DEON",
 series       = "Lecture Notes in Computer Science",
 volume       = "6181",
 publisher    = "Springer",
 pages        = "66--83",
 doi          = "10.1007/978-3-642-14183-6",
)
@article(fltl,
 author       = "D. Giannakopoulou and J. Magee",
 year         = "2003",
 title        = "{Fluent model checking for event-based systems}",
 journal      = "ACM SIGSOFT Software Engineering Notes",
 volume       = "28",
 number       = "5",
 pages        = "266",
 doi          = "10.1145/940103.940106",
)
@conference(GMS_JURIX2010c,
 author       = "Daniel Gorín and Sergio Mera and Fernando Schapachnik",
 year         = "2010",
 title        = "{Model Checking Legal Documents}",
 booktitle    = "Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010",
 pages        = "111--115",
 doi          = "10.3233/978-1-60750-682-9-151",
)
@techreport(GMS_FLACOS2011-TR,
 author       = "Daniel Gorín and Sergio Mera and Fernando Schapachnik",
 year         = "2011",
 title        = "{\textsc {FormaLex}\xspace } -- {A} {S}oftware {T}ool for {L}egal {D}rafting",
 type         = "Technical Report",
 number       = "GMS-2011",
 institution  = "FCEyN, Universidad de Buenos Aires",
 url          = "http://publicaciones.dc.uba.ar/Publications/2011/GMS11",
)
@article(drcontract,
 author       = "G. Governatori and D.H. Pham",
 year         = "2009",
 title        = "{Dr-contract: An architecture for e-contracts in defeasible logic}",
 journal      = "International Journal of Business Process Integration and Management",
 volume       = "4",
 number       = "3",
 pages        = "187--199",
 doi          = "10.1504/IJBPIM.2009.030985",
)
@inproceedings(DBLP:conf/icail/GovernatoriRS05,
 author       = "Guido Governatori and Antonino Rotolo and Giovanni Sartor",
 year         = "2005",
 title        = "Temporalised Normative Positions in Defeasible Logic",
 booktitle    = "ICAIL",
 publisher    = "ACM",
 pages        = "25--34",
 doi          = "10.1145/1165485.1165490",
)
@inproceedings(tools_for_ald,
 author       = "Nienke den Haan",
 year         = "1997",
 title        = "Tools for automated legislative drafting",
 booktitle    = "ICAIL '97: Proceedings of the 6th international conference on Artificial intelligence and law",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "252",
 doi          = "10.1145/261618.261662",
)
@conference(discordance_detection_in_regional_ordinance,
 author       = "S. Hagiwara and S. Tojo",
 year         = "2006",
 title        = "{Discordance Detection in Regional Ordinance: Ontology-based Validation}",
 booktitle    = "Proceeding of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference",
 organization = "IOS Press",
 pages        = "111--120",
)
@inproceedings(ten_philosophical_problems_in_dl,
 author       = "J{\"o}rg Hansen and Gabriella Pigozzi and Leendert W. N. van der Torre",
 year         = "2007",
 title        = "Ten Philosophical Problems in Deontic Logic",
)
 editor       = "\write \rebib { editor = "Boella",}",
@book(SPIN,
 author       = "Holzmann",
 year         = "2003",
 title        = "The Spin Model Checker: Primer and Reference Manual",
 publisher    = "Addison-Wesley",
 doi          = "10.1109/32.588521",
)
@inproceedings(what_is_io_logic,
 author       = "David Makinson and Leendert W. N. van der Torre",
 year         = "2007",
 title        = "{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions}",
 editor       = "\write \rebib { editor = "Boella",}",
 pages        = "383--408",
)
@inproceedings(meyer1998role,
 author       = "J.J.C. Meyer and R.J. Wieringa and F.P.M. Dighum",
 year         = "1998",
 title        = "The role of deontic logic in the specification of information systems",
 booktitle    = "Logics for Databases and Information Systems",
 publisher    = "Kluwer",
 pages        = "71--116",
)
@article(piolle2010dyadic,
 author       = "G. Piolle",
 year         = "2010",
 title        = "{A Dyadic Operator for the Gradation of Desirability}",
 journal      = "Deontic Logic in Computer Science",
 volume       = "6181",
 pages        = "33--49",
 doi          = "10.1007/978-3-642-14183-6\_5",
)
@inproceedings(CL,
 author       = "Cristian Prisacariu and Gerardo Schneider",
 year         = "2009",
 title        = "{$\mathcal {CL}$}: An Action-Based Logic for Reasoning about Contracts",
 booktitle    = "WoLLIC '09: Proceedings of the 16th International Workshop on Logic, Language, Information and Computation",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "335--349",
 doi          = "10.1007/978-3-642-02261-6\_27",
)
@inproceedings(mc_electronic_contracts,
 author       = "Ellis Solaiman and Carlos Molina-jimenez and Santosh Shrivastava",
 year         = "2003",
 title        = "Model Checking Correctness Properties of Electronic Contracts",
 booktitle    = "Proceedings of the International conference on Service Oriented Computing (ICSOC03)",
 publisher    = "Springer-Verlag",
 pages        = "303--318",
 doi          = "10.1007/978-3-540-24593-3\_21",
)
@article(DBLP:journals/japll/Stolpe10,
 author       = "Audun Stolpe",
 year         = "2010",
 title        = "A theory of permission based on the notion of derogation",
 journal      = "J. Applied Logic",
 volume       = "8",
 number       = "1",
 pages        = "97--113",
 doi          = "10.1016/j.jal.2010.01.001",
)