• Aberdeen Group (2005) The contract management solution selection report. In: Handbook for CLM strategy and solution selection. Aberdeen Group

• Athan T, Governatori G, Palmirani M, Paschke A, Wyner A (2015) LegalRuleML: design principles and foundations. In: Proceedings of the 11th reasoning web summer school. Springer. pp 151–188

  Chapter  Google Scholar 

• Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5):34–43

  Article  Google Scholar 

• Canesin FC, Xiang YJ, Lim J, Fast E, Lowenthal J, Fong A, van den Brink E (2018) NEO white paper

• Clack CD, Bakshi VA, Braine L (2016a) Smart contract templates: essential requirements and design options. CoRR, abs/1612.04496

• Clack CD, Bakshi VA, Braine L (2016b) Smart contract templates: foundations, design landscape and research directions. CoRR, abs/1608.00771

• Daskalopulu A, Sergot MJ (1997) The representation of legal contracts. AI Soc 11(1):6–17

  Article  Google Scholar 

• Dimitrakos T, Djordjevic I, Milosevic Z, Jøsang A, Phillips CI (2003) Contract performance assessment for secure and dynamic virtual collaborations. In: Proceedings of the 7th international enterprise distributed object computing conference. IEEE Computer Society, pp 62–75

• Ethereum Foundation E(2016) Thereum’s white paper

• Farell ADH, Sergot MJ, Salle M, Bartolini C (2005) Using the event calculus for tracking the normative state of contracts. Int J Cooper Inf Syst 14(02n03):99–129

  Article  Google Scholar 

• Fenech S, Pace GJ, Schneider G (2009) Automatic conflict detection on contracts. In: Proceedings of the 6th international colloquium on theoretical aspects of Computing. Springer, pp 200–214

• Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) (2013) Handbook of deontic logic and normative systems. College Publications, London

  MATH  Google Scholar 

• Gelati J, Rotolo A, Sartor G, Governatori G (2004) Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artif Intell Law 12(1–2):53–81

  Article  Google Scholar 

• Governatori. G (2005) Representing business contracts in RuleML. Int J Cooper Inf Syst 14(2–3):181–216

  Article  Google Scholar 

• Governatori G (2015) Thou shalt is not you will. In: Proceedings of the 15th international conference on artificial intelligence and law. ACM, pp 63–68

• Governatori G, Milosevic Z (2005) Dealing with contract violations: formalism and domain specific language. In: Proceedings of the 9th IEEE international EDOC enterprise computing conference. IEEE Computer Society, pp 46–57

• Governatori G, Milosevic Z (2006) A formal analysis of a business contract language. Int J Cooper Inf Syst 15(4):659–685

  Article  Google Scholar 

• Governatori G, Pham DH (2009) DR-CONTRACT: an architecture for e-contracts in defeasible logic. Int J Bus Process Integr Manag 5(4):187–199

  Article  Google Scholar 

• Governatori G, Rotolo A (2013) Computing temporal defeasible logic. In: Theory, practice, and applications of rules on the web. Springer, pp 114–128

• Governatori G, Hulstijn J, Riveret R, Rotolo A (2007) Characterising deadlines in temporal modal defeasible logic. In: Proceedings of the 20th Australian joint conference on artificial intelligence. Springer, pp 486–496

• Grosof BN, Labrou Y, Chan HY (1999) A declarative approach to business rules in contracts: courteous logic programs in xml. In: Proceedings of the 1st ACM conference on electronic commerce. ACM, pp 68–77

• Hanson JE, Milosevic Z (2003) Conversation-oriented protocols for contract negotiations. In: Proceedings of the 7th international enterprise distributed object computing conference. IEEE Computer Society, pp 40–49

• Hess Z, Malahov Y, Pettersson J (2017) Aeternity blockchain

• Idelberger F, Governatori G, Riveret R, Sartor G (2016) Evaluation of logic-based smart contracts for blockchain systems. In: Proceedings of the 10th international web rule symposium. Springer, pp 167–183

• Jelurida (2017) Ardor white paper

• Jones SLP, Eber JM (2003) How to write a financial contract

  Chapter  Google Scholar 

• Kern A, Walhorn C (2005) Rule support for role-based access control. In: Proceedings of the 10th ACM symposium on access control models and technologies. ACM, pp 130–138

• Kowalski R (1979) Algorithm = logic + control. Commun ACM 22(7):424–436

  Article  Google Scholar 

• Lam HP, Governatori G (2009) The making of SPINdle. In: Proceedings of the international symposium on rule interchange and applications. Springer, pp 315–322

• Linington PF, Milosevic Z, Cole JB, Gibson S, Kulkarni S, Neal SW (2004) A unified behavioural model and a contract language for extended enterprise. Data Knowl Eng 51(1):5–29

  Article  Google Scholar 

• Lomuscio A, Penczek W, Solanki M, Szreter M (2011) Runtime monitoring of contract regulated web services. Fundam Inform 111(3):339–355

  MathSciNet MATH  Google Scholar 

• Magazzeni D, McBurney P, Nash W (2017) Validation and verification of smart contracts: a research agenda. Computer 50(9):50–57

  Article  Google Scholar 

• Marjanovic O, Milosevic Z (2001) Towards formal modeling of e-contracts. In: Proceedings of the 5th international enterprise distributed object computing conference, pp 59–68

• Milosevic Z (1996) Enterprise aspects of open distributed systems. Ph.D. thesis, University of Queensland

• Milosevic Z, Arnold D, O’Connor L (1996) Inter-enterprise contract architecture for open distributed systems: security requirements. In: Proceedings of the 5th workshop on enabling technologies: infrastructure for collaborative enterprises, pp 68–73

• Molina-Jimenez C, Shrivastava S, Solaiman E, Warne J (2004) Run-time monitoring and enforcement of electronic contracts. Electron Commer Res Appl 3(2):108–125

  Article  Google Scholar 

• Montgomery N, Wilson DR (2015) Market guide for contract life cycle management, Gartner, ID: G00276707

• Nakamoto S (2008) Bitcoin: A peer-to-peer electronic cash system

• Nxt Community (2018) Nxt white paper

• OASIS (2007) eContracts Version 1.0, Committee Specification

• Prakken H, Sartor G (2015) Law and logic: a review from an argumentation perspective. Artif Intell 227:214–245

  Article MathSciNet  Google Scholar 

• Rimba R, Tran AB, Weber I, Staples M, Ponomarev A, Xu X (2017) Comparing blockchain and cloud services for business process execution. In: Proceedings IEEE international conference on software architecture. IEEE, pp 257–260

• Sartor G (2005) Legal reasoning: a cognitive approach to the law. Springer, Berlin

  Google Scholar 

• Staples M, Chen S, Falamaki S, Ponomarev A, Rimba P, Tran AB, Weber I, Xu X, Zhu J (2017) Risks and opportunities for systems using blockchain and smart contracts. Technical report, Data61 (CSIRO), Sydney

• Szabo N (1997) The idea of smart contracts

• Weber I, Xu X, Riveret R, Governatori G, Ponomarev A, Mendling J (2016) Untrusted business process monitoring and execution using blockchain. In: Proceedings of the 14th international conference on business process management, vol 9850. Springer, pp 329–347

• Wood G (2014) Ethereum: a secure decentralised generalised transaction ledger

• Wright A, De Filippi P (2015) Decentralized Blockchain Technology and the Rise of Lex Cryptographia. SSRN scholarly paper ID 2580664, Social Science Research Network

• Xu X, Weber I, Staples M, Rimba P (2017) A taxonomy of blockchain-based systems for architecture design. In: Proceedings IEEE international conference on software architecture. IEEE, pp 243–252

Download references