D. Buscaldi, P. Rosso, J.M. Gómez-Soriano & E. Sanchis (2009):
Answering Questions with an n-gram based Passage Retrieval Engine.
Journal of Intelligent Information Systems 34(2),
pp. 113–134,
doi:10.1007/s10844-009-0082-y.
S. Fenech, G.J. Pace & G. Schneider (2009):
Automatic Conflict Detection on Contracts.
In: ICTAC'09,
LNCS 5684.
Springer,
pp. 200–214,
doi:10.1007/978-3-642-03466-4_13.
S.Fenech, G.J. Pace & G. Schneider (2009):
CLAN: A Tool for Contract Analysis and Conflict Discovery.
In: ATVA'09,
LNCS 5799.
Springer,
pp. 90–96,
doi:10.1007/978-3-642-04761-9_8.
M. Forsberg A. Ranta. M. Pellauer (2004-09):
BNF Converter: Multilingual Front-End Generation from Labelled BNF Grammars.
Technical Report.
Technical Report 348, Computing Science at Chalmers University of Technology and Gothenburg University.
P. McNamara (2006):
Deontic Logic.
In: Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic 7.
North-Holland Publishing,
pp. 197–289.
G.J. Pace & M. Rosner (2010):
A Controlled Language for the Specification of Contracts 5972,
pp. 226–245,
doi:10.1007/978-3-642-14418-9_14.
G. Pace, C. Prisacariu & G. Schneider (2007):
Model Checking Contracts –A Case Study.
In: ATVA'07,
LNCS 4762.
Springer-Verlag,
pp. 82–97,
doi:10.1007/978-3-540-75596-8_8.
C. Prisacariu & G. Schneider (2007):
A Formal Language for Electronic Contracts.
In: FMOODS,
LNCS 4468.
Springer,
pp. 174–189,
doi:10.1007/978-3-540-72952-5_11.
C. Prisacariu & G. Schneider (2009):
CL: An Action-based Logic for Reasoning about Contracts.
In: WOLLIC'09,
LNCS 5514.
Springer,
pp. 335–349,
doi:10.1007/978-3-642-02261-6_27.
A. Ranta (2009):
Grammatical Framework: A Programming Language for Multilingual Grammars and Their Applications.
http://www.cs.um.edu.mt/svrg/Tools/CLTool.