Martin Waldburger: Automated Contract Formation: Jurisdiction and Applicable Law ? Implementation in Prolog; in: CSG Doctoral Seminar, Zürich, Switzerland, November 2009, pp 1-9. URL: http://www.csg.uzh.ch/publications/200911-csg-doctoral-seminar-v01.pdf.