@article(buscaldi2009answering,
 author       = "D. Buscaldi and P. Rosso and J.M. G{\'o}mez-Soriano and E. Sanchis",
 year         = "2009",
 title        = "{Answering Questions with an n-gram based Passage Retrieval Engine}",
 journal      = "Journal of Intelligent Information Systems",
 volume       = "34",
 number       = "2",
 pages        = "113--134",
 doi          = "10.1007/s10844-009-0082-y",
)
@inproceedings(fenech2009automatic,
 author       = "S. Fenech and G.J. Pace and G. Schneider",
 year         = "2009",
 title        = "{Automatic Conflict Detection on Contracts}",
 booktitle    = "ICTAC'09",
 series       = "LNCS",
 volume       = "5684",
 publisher    = "Springer",
 pages        = "200--214",
 doi          = "10.1007/978-3-642-03466-4\_13",
)
@inproceedings(fenech2009clan,
 author       = "S.Fenech and G.J. Pace and G. Schneider",
 year         = "2009",
 title        = "CLAN: A Tool for Contract Analysis and Conflict Discovery",
 booktitle    = "ATVA'09",
 series       = "LNCS",
 volume       = "5799",
 publisher    = "Springer",
 pages        = "90--96",
 doi          = "10.1007/978-3-642-04761-9\_8",
)
@inproceedings(hahnle2002authoring,
 author       = "R. H{\"a}hnle and K. Johannisson and A. Ranta",
 year         = "2002",
 title        = "An Authoring Tool for Informal and Formal Requirements Specifications",
 booktitle    = "FASE",
 series       = "LNCS",
 volume       = "2306",
 publisher    = "Springer",
 pages        = "233--248",
 url          = "http://link.springer.de/link/service/series/0558/bibs/2306/23060233.htm",
 doi          = "10.1007/3-540-45923-5\_16",
)
@techreport(lbnf,
 author       = "M. Forsberg A. Ranta. {M. Pellauer}",
 year         = "2004-09",
 title        = "{BNF Converter: Multilingual Front-End Generation from Labelled BNF Grammars}",
 type         = "Technical Report",
 institution  = "Technical Report 348, Computing Science at Chalmers University of Technology and Gothenburg University",
)
@incollection(McNamara2006,
 author       = "P. McNamara",
 year         = "2006",
 title        = "{Deontic Logic}",
 booktitle    = "{Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic}",
 volume       = "7",
 publisher    = "North-Holland Publishing",
 pages        = "197--289",
)
@article(pace-controlled,
 author       = "G.J. Pace and M. Rosner",
 year         = "2010",
 title        = "{A Controlled Language for the Specification of Contracts}",
 volume       = "5972",
 pages        = "226--245",
 doi          = "10.1007/978-3-642-14418-9\_14",
)
@inproceedings(pace2007model,
 author       = "G. Pace and C. Prisacariu and G. Schneider",
 year         = "2007",
 title        = "Model Checking Contracts --A Case Study",
 booktitle    = "ATVA'07",
 series       = "LNCS",
 volume       = "4762",
 publisher    = "Springer-Verlag",
 pages        = "82--97",
 doi          = "10.1007/978-3-540-75596-8\_8",
)
@inproceedings(Prisacariu2007fle,
 author       = "C. Prisacariu and G. Schneider",
 year         = "2007",
 title        = "{A Formal Language for Electronic Contracts}",
 booktitle    = "FMOODS",
 series       = "LNCS",
 volume       = "4468",
 publisher    = "Springer",
 pages        = "174--189",
 doi          = "10.1007/978-3-540-72952-5\_11",
)
@inproceedings(prisacariu9cl,
 author       = "C. Prisacariu and G. Schneider",
 year         = "2009",
 title        = "{CL: An Action-based Logic for Reasoning about Contracts}",
 booktitle    = "WOLLIC'09",
 series       = "LNCS",
 volume       = "5514",
 publisher    = "Springer",
 pages        = "335--349",
 doi          = "10.1007/978-3-642-02261-6\_27",
)
@unpublished(GF,
 author       = "A. Ranta",
 year         = "2009",
 title        = "Grammatical Framework: A Programming Language for Multilingual Grammars and Their Applications",
 note         = "\url {http://www.cs.um.edu.mt/svrg/Tools/CLTool}",
)