@STRING{fac = "Formal Aspects of Computing"}
@STRING{amai = "Annals of Mathematics and Artificial Intelligence"}
@STRING{jsl = "Journal of Symbolic Logic"}
@STRING{jsc = "Journal of Symbolic Computation"}
@STRING{jlc = "Journal of Logic and Computation"}
@STRING{jlp = "Journal of Logic Programming"}
@STRING{JFP = "Journal of {F}unctional {P}rogramming"}
@STRING{jar = "Journal of Automated Reasoning"}
@STRING{sl = "Studia Logica"}
@STRING{ipl = "Information Processing Letters"}
@STRING{tcs = "Theoretical Computer Science"}
@STRING{lnm = "Lecture Notes in Mathematics"}
@STRING{lncs = "LNCS"}
@STRING{lnai = "LNCS"}
@STRING{spv = "Springer-Verlag"}
@STRING{cacm = "Communications of the {ACM}"}
@STRING{jacm = "Journal of the {ACM}"}
@STRING{sc = "Soft Computing---A Fusion of Foundations, Methodologies
		  and Applications"}


%%%%%%% GF-related papers

@INCOLLECTION{ranta-finnish,
    AUTHOR = "A. Ranta",
    TITLE = {How predictable is {Finnish} morphology? An experiment on lexicon construction},
    EDITOR = {{J. Nivre and M. Dahll\"of and B. Megyesi}},
    BOOKTITLE = "Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein",
    PUBLISHER = {{University of Uppsala}},
    note = {\url{http://publications.uu.se/abstract.xsql?dbid=8933}},
    YEAR = {2008},
    PAGES = {130-148}
  }

@Article{Ranta91b,
  author =       "Aarne Ranta",
  title = 	 {Intuitionistic categorial grammar},
  journal = 	 {{Linguistics and Philosophy}},
  year = 	 {1991},
  volume =	 {14},
  pages =	 {203--239}
}

@Book{Ranta94,
  author =	 {A. Ranta},
  title = 	 {{Type Theoretical Grammar}},
  publisher = 	 {Oxford University Press},
  year = 	 {1994}
}

@Book{ranta-1994,
  author =	 {A. Ranta},
  title = 	 {{Type Theoretical Grammar}},
  publisher = 	 {{Oxford University Press}},
  year = 	 {1994}
}

@InProceedings{Ranta94a,
  author =       "Aarne Ranta",
  title =        "Type Theory and the Informal Language of Mathematics",
  booktitle =    "Selected papers from TYPES'93: 
                  Int.\ Workshop on Types, Nijmegen, The Netherlands",
  series =       lncs,
  publisher =    spv,
  volume =       "806",
  pages =        "352--365",
  year =         "1994",
  editor =       "Hendrik Barendregt and Tobias Nipkow"
}

@Article{Ranta95c,
  author =       "Aarne Ranta",
  title = 	 {Type-theoretical interpretation and generalization 
                  of phrase structure grammar},
  journal = 	 {{Bulletin of the IGPL}},
  year = 	 {1995},
  volume =	 {3},
  pages =	 {319--342}
}

@InProceedings{Ranta95a,
  author =       "Aarne Ranta",
  title =        "Syntactic Categories in the Language of Mathematics",
  series =       lncs,
  volume =       "996",
  pages =        "162--182",
  year =         "1995",
  publisher =    spv,
  booktitle =    "Selected papers from TYPES'94: 
                  Int.\ Workshop on Types for
                 Proofs and Programs, Bastad, Sweden",
  editor =       {Peter Dybjer and Bengt Nordstr\"{o}m and Jan Smith}
}

@InProceedings{ranta-1996,
  author =       "A. Ranta",
  title =        "Context-Relative Syntactic Categories and the
                 Formalization of Mathematical Text",
  booktitle =    "Selected papers from TYPES'95: Int.\ Workshop on Types for
                 Proofs and Programs, Trento, Italy",
  publisher =    spv,
  editor =       "S. Berardi and M. Coppo",
  series =       lncs,
  volume =       1158,
  pages  =       "231--248",
  year =         "1996"
}

@inproceedings{ranta:torino,
        AUTHOR = {A. Ranta},
        TITLE   = {Context-Relative Syntactic Categories 
   and the Formalization of Mathematical Text}, 
        BOOKTITLE = {{Types For Proofs and Programs}},
         EDITOR = {S. Berardi and M. Coppo},
         SERIES = {LNCS},
         NUMBER = {1158},
         PAGES = {231--248},
         PUBLISHER = {Springer-Verlag},
         YEAR = {1996}
 }

@Article{ranta-1997,
  author =       "Aarne Ranta",
  title = 	 {Structures grammaticales dans le fran\c{c}ais math\'{e}matique},
  journal = 	 {Math\'{e}matiques, informatique et Sciences Humaines},
  year = 	 {1997},
  volume =	 {138/139},
  pages =	 {5--56/5--36}
}

@article{ranta:paris,
         AUTHOR = {A. Ranta},
         TITLE  = {{Structures grammaticales dans le fran\c{c}ais math\'ematique}},
         JOURNAL = {{Math\'ematiques, informatique et Sciences Humaines}},
         YEAR = {1997},
         NUMBER = {138, 139},
         PAGES = {5--56, 5--36}
 }

@Article{ranta-1998,
  author =       "Aarne Ranta",
  title =        "Syntactic Calculus with Dependent Types",
  journal =      "Journal of Logic, Language, and Information",
  year =         "1998",
  volume =       "7",
  number =       "4",
  pages =        "413--431"
}

@InCollection{ranta-1998-regex,
  author =       "Aarne Ranta",
  title =        "A Multilingual Natural Language Interface to Regular
                 Expressions",
  booktitle =    "{FSMNLP'98}: International Workshop on Finite State
                 Methods in Natural Language Processing",
  publisher =    "Bilkent University, Ankara",
  year =         "1998",
  editor =       "Lauri Karttunen and K. Oflazer",
  pages =        "79--90"
}

@InProceedings{DAC98a,
  author =       "Matthew B. Dwyer and George S. Avrunin and James C.
                 Corbett",
  title =        "Property Specification Patterns for Finite-State
                 Verification",
  pages =        "7--15",
  ISBN_ISSN =         "0-89791-954-8",
  editor =       "Mark Ardis",
  booktitle =    "Proc.\ 2nd Workshop on Formal Methods in
                 Software Practice ({FMSP}-98)",
  month =        mar,
  publisher =    "ACM Press",
  address =      "New York",
  year =         "1998"
}

@InProceedings{ranta98:regexp,
  author =       {A. Ranta},
  title =        {A Multilingual Natural-Language Interface to Regular Expressions},
  booktitle =    {Proceedings of the International Workshop on Finite State
                  Methods in Natural Language Processing},
  pages =        {79--90},
  year =         1998,
  editor =       {L. Karttunen and K. Oflazer},
  address =      {Ankara},
  organization = {Bilkent University}
}

@InProceedings{MaenpaaRanta99,
  author = 	 {P. Mäenpää and A. Ranta},
  title = 	 {The type theory and type checker of {GF}},
  booktitle = 	 {{PLI-1999: 
                  Workshop on Logical Frameworks and Meta-languages, 
                  Paris, France}},
  year =	 {1999}
}

@Manual{Ranta99a,
  title = 	 {Grammatical Framework Syntax and Semantic},
  author =	 {Aarne Ranta},
  organization = {Xerox Research Centre Europe},
  address =      {Grenoble},
  month =	 feb,
  year =	 {1999},
  note = 	 {URL: \texttt{www.xrce.xerox.com/research/mltt/gf/doc/gf-language/index.html}}
}

@Manual{Ranta99b,
  title = 	 {Grammatical Framework Tutorial},
  author =	 {A. Ranta},
  organization = {Xerox Research Centre Europe},
  address =      {Grenoble},
  month =	 feb,
  year =	 1999,
  note = 	 {URL: \texttt{www.xrce.xerox.com/research/mltt/gf/doc/gf-tutorial/index.html}}
}

@Manual{Ranta99c,
  title = 	 {Grammatical Framework Implementation and Interfaces. 
                  {R}evised for {GF} Version 0.5},
  author =	 {Aarne Ranta},
  organization = {Department of Computing Science,
                  Chalmers University of Technology},
  month =	 jun,
  year =	 {1999},
  note = 	 {URL: \texttt{www.cs.chalmers.se/\~{}aarne/GF/pub/doc/gf-implementation/index.html}}}

@InProceedings{dymetman-al-2000,
  author = 	 {M.\ Dymetman and V.\ Lux and A.\ Ranta},
  title = 	 {{XML} and Multilingual Document Authoring: Convergent Trends},
  booktitle = 	 {Proc.\ Computational Linguistics COLING, Saarbr\"{u}cken, Germany},
  pages =        {243-249},
  year =	 {2000},
  publisher =    {International Committee on Computational Linguistics}
}

@InProceedings{hallgren-ranta-2000,
  author = 	 {T.\ Hallgren and A.\ Ranta},
  title = 	 {{An Extensible Proof Text Editor}},
  editor =       {M. Parigot and A. Voronkov},
  booktitle = 	 {{LPAR-2000}},
  year =	 {2000},
  series =	 {{LNCS/LNAI}},
  volume =       {1955},
  publisher =    {Springer},
  note = {\url{http://www.cse.chalmers.se/~aarne/articles/lpar2000.pdf}},
  pages =        {70--84}
}


@TechReport{hallgren-2000,
  author =       {T. Hallgren},
  title =        {The Correctness of Insertion Sort},
  institution =  {Chalmers University of Technology, 
                  Department of Computer Science},
  year =         {2000},
  note = {URL: \verb!http://www.cse.chalmers.se/~hallgren/Papers/insertion_sort.ps!}
}

@Misc{gf-homepage,
  author =       {A. Ranta and K. Angelov and T. Hallgren},
  title =        {{\mbox{Grammatical Framework Homepage}}},
  howpublished = {\verb!http://grammaticalframework.org!},
  documentURL =  {"http://www.cs.chalmers.se/~aarne/GF/"},
  year =         {2000--2009}
}

@InProceedings{HaehnleRanta01a,
  author = 	 {R.\ H\"{a}hnle and A.\ Ranta},
  title = 	 {Connecting {OCL} with the Rest of the World},
  booktitle = 	 {{ETAPS}/{WTUML},
                  {Genova}, {Italy}},
  year =	 {2001},
  editor =	 {J. Whittle},
  url =          {http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz}
}

@InProceedings{krijo-aarne,
  author =       "K. Johannisson and A. Ranta",
  title =        "Formal Verification of Multilingual Instructions",
  booktitle =    "The Joint Winter Meeting of Computing Science and
                  Computer Engineering",
  publisher =    "Chalmers University of Technology",
  year =         "2001"
}

@InProceedings{ranta-cooper-icos,
  author =       {A. Ranta and R. Cooper},
  title =        {Dialogue Systems as Proof Editors},
  booktitle =    {{IJCAR}/{ICoS-3}},
  year =         2001,
  address =      {{Siena}, {Italy}}
}

@Misc{italiano,
  author = "A. Ranta",
  title = {1+n representations of {Italian} morphology},
  howpublished = {Essays dedicated to {Jan von Plato} 
                  on the occasion of his 50th birthday,
                  \verb6http://www.valt.helsinki.fi/kfil/jvp50.htm6}, 
  documentURL = "\verb6http://www.valt.helsinki.fi/kfil/jvp50.htm6",
  year = 2001
}

@InProceedings{hahnle-al-2002,
  author = 	 {R.\ Hähnle and K.\ Johannisson and A.\ Ranta},
  title = {{An Authoring Tool for Informal and Formal Requirements Specifications}},
  booktitle = 	 {{Fundamental Approaches to Software Engineering}},
  editor =       {R.-D. Kutsche and H. Weber},
  year =	 {2002},
  series =	 {LNCS},
  volume =       {2306},
  pages =        {233--248},
  publisher =    {Springer}
}

@Misc{bnfc,
  author =       {M. Forsberg and A. Ranta},
  title =        {{\mbox{BNF Converter Homepage}}},
  howpublished = {\verb!http://www.cs.chalmers.se/~markus/BNFC/!},
  documentURL =  {"http://www.cs.chalmers.se/~markus/BNFC/"},
  year =         {2002--2004}
}

@InProceedings{khegai-al-2003,
  author = 	 {J.\ Khegai and B.\ Nordström and A.\ Ranta},
  title =        {{Multilingual Syntax Editing in GF}},
  booktitle = 	 {{Intelligent Text Processing and Computational Linguistics
                 (CICLing-2003), Mexico City, February 2003}},
  year =	 {{2003}},
  series =	 {LNCS},
  volume =       {2588},
  editor =       {A. Gelbukh},
  note = {\url{http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz}},
  pages =        {453--464},
  publisher =    {Springer-Verlag}
}

@ARTICLE{ranta-2004,
    AUTHOR = "A. Ranta",
    TITLE = {{Grammatical Framework: A Type-Theoretical Grammar Formalism}},
    JOURNAL = {{The Journal of Functional Programming}},
    pages={145--189},
    volume={14(2)},
    note = {\url{http://www.cse.chalmers.se/~aarne/articles/gf-jfp.pdf}},
    YEAR = {2004}
 }

@Article{ranta:compsem,
  author =       {A. Ranta},
  title =        {{Computational Semantics in Type Theory}},
  journal =      {{Mathematics and Social Sciences}},
  volume =       {165},
  pages =        {31--57},
  year =         {2004}
}

@InProceedings{numerals,
    AUTHOR = {H. Hammarstr\"{o}m and A. Ranta},
    TITLE = {{Cardinal Numerals Revisited in GF}}, 
    booktitle = {{Workshop on Numerals in the World's Languages, 
      Dept. of Linguistics, Max Planck Institute for Evolutionary Anthropology, 
      Leipzig}},
  note = {\url{http://www.cs.chalmers.se/%7Eharald2/numabstract.pdf}},
    year =	 {{2004}}
  }

@InProceedings{peb-parsing,
  author =   {P. Ljungl\"of},
  title =   {{Grammatical Framework and Multiple Context-Free Grammars}},
  booktitle = {{Proceedings of Formal Grammar, Nancy, August 2004}},
  editor = {G. Jaeger and P. Monachesi and G. Penn and S. Wintner},
  pages = {77--90},
  year =   {2004}
}

@PhdThesis{ljunglof-2004,
  author =   {P. Ljungl\"of},
  title =   {{The Expressivity and Complexity of Grammatical Framework}},
  school =   {{Dept.\ of Computing Science,
               Chalmers University of Technology and 
               Gothenburg University}},
  note = {\url{http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf}},
  year =   {2004}
}

@article{ranta-cooper,
  author =       {A. Ranta and R. Cooper},
  title =        {{Dialogue Systems as Proof Editors}},
  journal =      {{Journal of Logic, Language and Information}},
  year =         2004
}

@inproceedings{FM,
  title = {{Functional Morphology}},
  author = {M. Forsberg and A. Ranta},
  booktitle = {{ICFP 2004, Showbird, Utah}},
  pages = {213-223},
  note = {\url{http://www.cs.chalmers.se/~markus/FM/FM_ICFP2004.pdf}},
  year = {2004}
}

@inproceedings{gf-esslli,
	 AUTHOR = {A. Ranta},
	 TITLE = {{Grammatical Framework Tutorial}},
	 BOOKTITLE = {{ESSLLI 2003 Course Material I}},
	 PUBLISHER = {{Kurt G\"odel Society}},
         pages = {1--86},
	 YEAR = {2004}
 }

@techreport{bringert,
  author = {B. Bringert},
  title = {{Embedded Grammars}},
  institution   = {Department of Computing Science, Chalmers University
		   of Technology},
  type          = {{MSc Thesis}},
  year          = {2004}
}

@InProceedings{burke-johannisson-2005,
  author = 	 {D. A. Burke and K. Johannisson},
  title = {{Translating Formal Software Specifications to Natural 
    Language / A Grammar-Based Approach}},
  booktitle = 	 {{Logical Aspects of Computational Linguistics (LACL 2005)}},
  editor =       {{P. Blache and E. Stabler and J. Busquets and R. Moot}},
  year =	 {2005},
  series =	 {{LNCS/LNAI}},
  volume =       {3492},
  note = {\url{http://www.springerlink.com/content/?k=LNCS+3492}},
  pages =        {51--66},
  publisher =    {Springer}
}

@InProceedings{ranta-nancy,
  author =       {A. Ranta},
  title =        {Resource Grammars for Dialogue Systems and Grammar Writing by Examples},
  booktitle =    {{TALK Meeting}},
  year =         2005,
  address =      {{Nancy}}
}

@inproceedings{burden05:lcfrs,
	address = {Vancouver, British Columbia},
	author = {Burden, H\r{a}kan   and Ljungl\"{o}f, Peter  },
	booktitle = {{P}roceedings of the {N}inth {I}nternational {W}orkshop on {P}arsing {T}echnology},
	citeulike-article-id = {2349372},
	keywords = {grammars},
	pages = {11--17},
	posted-at = {2008-02-07 15:00:18},
	priority = {0},
	publisher = {Association for Computational Linguistics},
	title = {{P}arsing {L}inear {C}ontext-{F}ree {R}ewriting {S}ystems},
	url = {http://www.aclweb.org/anthology/W/W05/W05-1502},
	year = {2005}
}

@PhdThesis{johannisson-2005,
  author =   {K. Johannisson},
  title =   {{Formal and Informal Software Specifications}},
  school =   {{Dept.\ of Computing Science,
               Chalmers University of Technology and 
               Gothenburg University}},
  year =   {2005}
}

@inproceedings{bringert-al-2005,
  author = {Bj\"orn Bringert and Robin Cooper 
            and Peter Ljungl\"of and Aarne Ranta},
  title = {Multimodal Dialogue System Grammars},
  booktitle = {Proceedings of DIALOR'05, Ninth Workshop on 
               the Semantics and Pragmatics of Dialogue},
  month = {June},
  year = {2005},
  pages = {53--60},
  location = {Nancy, France},
  url = {http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf}
}

@InProceedings{extract-2006,
    AUTHOR = {M. Forsberg and H. Hammarstr\"{o}m and A. Ranta},
    TITLE = {{Morphological Lexicon Extraction from Raw Text Data}},
    booktitle = 	 {{FinTAL 2006}},
    year =	 {{2006}},
    series =	 {{LNCS/LNAI}},
    volume =       {4139},
    editor =       {T. Salakoski}
  }

@Misc{webalt,
  author =       {{WebALT Consortium}},
  title =        {{WebALT Online Manual: How-to guide for creating
multilingual mathematical exercises}},
  howpublished = {WebALT Deliverable 7.4, \url{http://webalt.math.helsinki.fi/content/e16/e301/e846/Deliverable7.4_eng.pdf}},
  year =         {2006}
}

@book{beckert-al-2006,
        AUTHOR  = {B. Beckert and R. Hähnle and P. Schmitt},
        TITLE   = {{Verification of Object-Oriented Software: The KeY Approach}},
        YEAR    = {2006},
        series  = lncs,
        volume  = {4334}, 
        PUBLISHER = {{Springer-Verlag}}
}

@inproceedings{caprotti-2006,
  title = {{WebALT! Deliver Mathematics Everywhere}},
  author = {O. Caprotti},
  note = {\url{http://webalt.math.helsinki.fi/content/e16/e301/e512/PosterDemoWebALT_eng.pdf}},
  booktitle = {{Proceedings of SITE 2006. Orlando March 20-24}},
  year = {2006}
}

@inproceedings{eldada,
  title =  {{Implementing an Open Source Arabic Resource Grammar in GF}},
  author = {A. El Dada and A. Ranta},
  booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}},
  year = {2006}
}

@inproceedings{jonson-2006,
	 AUTHOR = {Rebecca Jonson},
	 TITLE = {{Generating statistical language models from interpretation grammars in dialogue system}},
	 BOOKTITLE = {{Proceedings of EACL06, Trento, Italy}},
	 YEAR = {2006}
 }

@inproceedings{khegai-acl,
  title = {{GF Parallel Resource Grammars and Russian}},
  author = {J. Khegai},
  booktitle = {{Coling/ACL 2006}},
  pages = {475--482},
  year = {2006}
}

@inproceedings{lemon06:dude,
	author = {Lemon, Oliver   and Liu, Xingkun  },
	booktitle = {{E}{A}{C}{L} 2006, 11st {C}onference of the {E}uropean {C}hapter of the {A}ssociation for {C}omputational {L}inguistics},
	citeulike-article-id = {1167605},
	keywords = {dialogue, gf},
	posted-at = {2007-03-16 13:30:21},
	priority = {2},
	title = {{D}{U}{D}{E}: a {D}ialogue and {U}nderstanding {D}evelopment {E}nvironment, mapping {B}usiness {P}rocess {M}odels to {I}nformation {S}tate {U}pdate dialogue systems},
	url = {http://homepages.inf.ed.ac.uk/olemon/dude-final.pdf},
	year = {2006}
}

@inproceedings{nganga-africa,
  title = {{Multilingual content development for eLearning in Africa}},
  author = {W. Ng'ang'a},
  booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training. 
     24-26 May 2006, Addis Ababa, Ethiopia}},
  year = {2006}
}

@misc{ljunglof-al-2006,
  author = {P. Ljungl\"of and G. Amores and R. Cooper and D. Hjelm and O. Lemon and P. Manch\'on
    and G. P\'erez and A. Ranta},
  year = 2006,
  title = {{Multimodal Grammar Library}},
  note = {{TALK. Talk and Look: 
    Tools for Ambient Linguistic Knowledge. IST-507802. Deliverable 1.2b}.
    \url{http://www.talk-project.org/fileadmin/talk/publications_public/deliverables_public/TK_D1-2-2.pdf}}
  }

@techreport{humayoun,
  author = {M. Humayoun},
  title = {{Urdu Morphology, Orthography and Lexicon Extraction}},
  institution   = {Department of Computing Science, Chalmers University
		   of Technology},
  type          = {{MSc Thesis}},
  year          = {2006}
}

@inproceedings{khegai-mt,
  title = {{Grammatical Framework (GF) for MT in sublanguage domains}},
  author = {J. Khegai},
  booktitle = {{Proceedings of EAMT-2006 (11th Annual conference of the European Association for Machine Translation, Oslo, Norway}},
  pages = {95--104},
  year = {2006}
}

@PhdThesis{khegai-phd,
  author =   {J. Khegai},
  title =   {{Language Engineering in Grammatical Framework (GF)}},
  school =   {{Dept.\ of Computing Science,
               Chalmers University of Technology and 
               University of Gothenburg}},
  note = {\url{http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf}},
  year =   {2006}
}

@inproceedings{humayoun-caasl,
  title = {{Urdu Morphology, Orthography and Lexicon Extraction}},
  author = {M. Humayoun and H. Hammarström and A. Ranta},
  booktitle = {{CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages, LSA 2007 Linguistic Institute, Stanford University, July 21-22, 2007}},
  year = {2007}
}

@ARTICLE{ranta-2007,
    AUTHOR = "A. Ranta",
    TITLE = {{Modular Grammar Engineering in GF}},
    JOURNAL = {{Research on Language and Computation}},
    volume = {5},
    pages = {133--158},
    note = {\url{http://www.cs.chalmers.se/~aarne/articles/multieng3.pdf}},
    YEAR = {2007} 
}

@Book{KeYBook2007,
   editor =        {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
   title =         {Verification of Object-Oriented Software: The {KeY} Approach},
   series        = {LNCS 4334},
   publisher     = {Springer-Verlag},
   year          = {2007}
}

@InProceedings{bringert-sigdial,
  author = {B. Bringert},
  title = {{Rapid Development of Dialogue Systems by Grammar Compilation}},
  booktitle = {{8th SIGdial Workshop on Discourse and Dialogue, Antwerp, Belgium, September 1--2, 2007}} ,
  year = 2007
}

@PhdThesis{forsberg-2007,
  author =   {Markus Forsberg},
  title =   {{Three Tools for Language Processing: BNF Converter, 
             Functional Morphology, and Extract}},
  school =   {{Dept.\ of Computer Science and Engineering,
               Chalmers University of Technology and 
               Gothenburg University}},
  year =   {2007}
}

@incollection{eldada-book,
  title =  {{Implementing an Open Source Arabic Resource Grammar in GF}},
  author = {A. El Dada and A. Ranta},
  booktitle = {{Perspectives on Arabic Linguistics XX}},
  editor = {M.A. Mughazy},
  publisher = {{John Benjamin's}},
  pages = {209--232},
  year = {2007}
}

@inproceedings{bringert-speechgram,
  title = {{Speech Recognition Grammar Compilation in Grammatical Framework}},
  author = {B. Bringert},
  booktitle = {{SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken 
   Language Processing, June 29, 2007, Prague}},
  note = {\url{http://www.cs.chalmers.se/~bringert/publ/gf-srg/gf-srg.pdf}},
  year = {2007}
}

@inproceedings{gf-srg,
 author = {Bj\"orn Bringert},
 title = {{Speech Recognition Grammar Compilation in Grammatical Framework}},
 booktitle = {{Proceedings of the Workshop on Grammar-Based Approaches to Spoken Language Processing}},
 month = jun,
 year = {2007},
 pages = {1--8},
 location = {{Prague, Czech Republic}},
 publisher = {{Association for Computational Linguistics}}
}

@inproceedings{perera-ranta-2007,
  title = {{Dialogue System Localization with the GF Resource Grammar Library}},
  author = {N. Perera and A. Ranta},
  booktitle = {{SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken 
   Language Processing, June 29, 2007, Prague}},
  note = {\url{http://www.cs.chalmers.se/~aarne/articles/perera-ranta.pdf}},
  year = {2007}
}

@inproceedings{ranta-features,
  title = {{Features in Abstract and Concrete Syntax}},
  author = {A. Ranta},
  booktitle = {{NODALIDA Workshop on Typed Feature Structure Grammars, Tartu, 24 May 2007}},
  note = {\url{http://www.cs.chalmers.se/~aarne/articles/ranta-tfsg2007.pdf}},
  year = {2007}
}


@INPROCEEDINGS{dannells,
  AUTHOR = {Dana Dann\'{e}lls},
  TITLE = {{Generating Tailored Texts for Museum Exhibits}},
  BOOKTITLE = {{Proceedings of the 6th edition of LREC. 
    The 2nd Workshop on Language Technology for Cultural Heritage (LaTeCH 2008), 
    Marrakech, Morocco}},
  PAGES = {17--20},
  YEAR = {2008},
  note = {\url{http://spraakdata.gu.se/svedd/pub/latech08.pdf}}
}

@InProceedings{angelov-gotal,
  author = {K. Angelov},
  title = {{Type-Theoretical Bulgarian Grammar}},
  booktitle = {{Advances in Natural Language Processing (GoTAL 2008)}} ,
  year = 2008,
  editor = {B. Nordstr\"om and A. Ranta},
  series = {{LNCS/LNAI}},
  note = {\url{http://www.springerlink.com/content/978-3-540-85286-5/}},
  volume = 5221,
  pages = {52--64}
}

@InProceedings{larsson-gotal,
  author = {S. Larsson and P. Ljungl\"of},
  title = {{A grammar formalism for specifying ISU-based dialogue systems}},
  booktitle = {{Advances in Natural Language Processing (GoTAL 2008)}} ,
  year = 2008,
  editor = {B. Nordstr\"om and A. Ranta},
  series = {{LNCS/LNAI}},
  note = {\url{http://www.springerlink.com/content/978-3-540-85286-5/}},
  volume = 5221,
  pages = {303--314}
}

@InProceedings{moises-gotal,
  title = {{Interactive Multilingual Web Applications with Grammarical Framework}},
  author = {M. S. {Meza Moreno} and B. Bringert},
  booktitle = {{Advances in Natural Language Processing (GoTAL 2008)}} ,
  year = 2008,
  editor = {B. Nordstr\"om and A. Ranta},
  series = {{LNCS/LNAI}},
  note = {\url{http://www.springerlink.com/content/978-3-540-85286-5/}},
  volume = 5221,
  pages = {336--347}
}

@Misc{bringert-2008c,
  author =       {B. Bringert},
  title =        {{Semantics of the GF Resource Grammar Library}},
  howpublished = {{Report, Chalmers University}},
  note = {\url{http://www.cse.chalmers.se/alumni/bringert/darcs/mosg/}},
  year =         {2008}
}

@misc{cooper-anna,
  author = {R. Cooper},
  year = 2008,
  title = "The Abstract-Concrete Syntax Distinction and Unification in Multilingual Grammar",
  note = {\url{http://publications.uu.se/abstract.xsql?dbid=8933}}
  }

@Misc{bringert-continuations,
  author =       {B. Bringert},
  title =        {{Delimited Continuations, Applicative Functors and Natural Language Semantics}},
  howpublished = {{Technical Report, Chalmers University of Technology}},
  year =         {2009},
  note = {\url{http://digitalgrammars.com/gf/demos/mosg/}}
}


@article{pgf,
  author = {K. Angelov and B. Bringert and A. Ranta},
  title = {{PGF: A Portable Run-Time Format for Type-Theoretical Grammars}},
  year = 2009,
  journal = {{Journal of Logic, Language and Information}},
  note = {To appear}
}

@inproceedings{angelov-2009,
	 AUTHOR = {Krasimir Angelov},
	 TITLE = {{Incremental Parsing with Parallel Multiple Context-Free Grammars}},
	 BOOKTITLE = {{Proceedings of EACL'09, Athens}},
	 YEAR = {2009}
 }

@inproceedings{gf-attempto,
	 AUTHOR = {K. Angelov and A. Ranta},
	 TITLE = {{Implementing Controlled Languages in GF}},
	 BOOKTITLE = {{CNL-2009, 
                       Controlled Natural Language Workshop, Marettimo, Sicily, 2009}},
	 YEAR = {2009}
 }

@inproceedings{ranta-2009a,
  title = {{Grammars as Software Libraries}},
  author = {A. Ranta},
  booktitle = {{From Semantics to Computer Science. Essays in Honour of Gilles Kahn}},
  editor = {Y. Bertot and G. Huet and J-J. L\'evy and G. Plotkin},
  publisher = {{Cambridge University Press}},
  note = {\url{http://www.cse.chalmers.se/~aarne/articles/libraries-kahn.pdf}},
  pages = {281--308},
  year = {2009}
}

@article{ranta-2009,
  author = {A. Ranta},
  title = {{The GF Resource Grammar Library}},
  year = 2009,
  journal = {{Linguistics in Language Technology}},
  volume = {2},
  note = {\url{http://elanguage.net/journals/index.php/lilt/article/viewFile/214/158}},
}


@misc{saldo,
  author = {L. Borin and M. Forsberg and L. L\"onngren},
  year = 2009,
  title = {{SALDO 1.0 (Svenskt associationslexikon version 2)}},
  note = {{Spr\aa kbanken, G\"oteborgs universitet.
    \url{http://spraakbanken.gu.se/personal/markus/publications/saldo_1.0.pdf}}}
  }

@inproceedings{angelov-enache-2010,
  title = {{Typeful Ontologies with Direct Multilingual Verbalization.}},
  author = {K. Angelov and R. Enache},
  booktitle = {{CNL 2010, Controlled Natural Language}},
  editor = {N. Fuchs and M. Rosner},
  year = {2010}
}

@Book{ranta-2010,
  author = {Aarne Ranta},
  title =  {{Grammatical Framework:
             Programming with Multilingual Grammars}},
  publisher = {{CSLI Publications}},
  year = {2010},
  note = "to appear"
}

@Book{ranta-2011,
  author = {Aarne Ranta},
  title =  {{Grammatical Framework:
             Programming with Multilingual Grammars}},
  publisher = {{CSLI Publications}},
  year = {2011},
  address = "Stanford",
  note = {{ISBN-10: 1-57586-626-9 (Paper), 1-57586-627-7 (Cloth)}}
}




%%%%%%%%%%%%% other papers

@inproceedings{mccarthy62towards,
    author = "J.\ McCarthy",
    title = "Towards a mathematical science of computation",
    booktitle = "Proceedings of the Information Processing Cong. 62",
    month = "August",
    publisher = "North-Holland",
    address = "Munich, West Germany",
    pages = "21--28",
    year = "1962"
}

@BOOK{rei48,
    AUTHOR = "Reichenbach, Hans",
    TITLE = "Elements of Symbolic Logic",
    PUBLISHER = {The MacMillan Company},
    ADDRESS = {New York},
    YEAR = {1948} }

@Article{bar-hillel-1953,
  author = "Y. Bar-Hillel",
  title =  "A quasi-arithmetical notation for syntactic description",
  journal = {Language},
  year =   1953,
  volume = 29,
  pages = {27-58}
}

@Article{hockett,
  author = {C. F. Hockett},
  title = "Two Models of Grammatical Description",            
  journal = "Word",
  year =   1954,
  volume = 10,
  pages = {210--233}
}

@article{swadesh,
 author = {Morris Swadesh},
 title = {{Towards Greater Accuracy in Lexicostatistic Dating}},
 journal = {{International Journal of American Linguistics}},
 volume = {21},
 year = {1955},
 pages = {121--137}
 }

@BOOK{chomsky,
    AUTHOR = "Chomsky, N.",
    TITLE = "Syntactic Structures",
    PUBLISHER = {Mouton},
    ADDRESS = {The Hague},
    YEAR = {1957} }

@ARTICLE{lambek,
    AUTHOR = "J. Lambek",
    TITLE = "The mathematics of sentence structure",
    JOURNAL = {{American Mathematical Monthly}},
    VOLUME = {65},
    PAGES = {154-170},
    YEAR = {1958} 
}

@Article{mccarthy,
  author =       {J. McCarthy},
  title =        {{Recursive Functions of Symbolic Expressions and their
                 Computation by Machine, part I}},
  journal =      {{Communications of the ACM}},
  volume =       {3},
  pages =        {184--195},
  year =         {1960}
}

@Book{nssk,
  editor =	 {M. Sadeniemi},
  title = 	 {{Nykysuomen sanakirja}},
  publisher = 	 {{WSOY}},
  year = 	 {1961}
}

@InProceedings{curry-1961,
    AUTHOR = "H. B. Curry",
    TITLE = "Some logical aspects of grammatical structure",
    EDITOR = "Jakobson, Roman",
    BOOKTITLE = {{Structure of Language and its
  Mathematical Aspects: Proceedings of the Twelfth Symposium
  in Applied Mathematics}},
    PUBLISHER = {American Mathematical Society},
    YEAR = {1961}, 
    PAGES = {56--68}
}

@BOOK{diderichsen-1962,
    AUTHOR = "Diderichsen, Paul",
    TITLE = "Elementaer dansk grammatik",
    ADDRESS = {Kobenhavn},
    YEAR = {1962} }

@Article{boehm-p,
  author = {C. B\"{o}hm},
  title = {{On a family of Turing machines and the related programming language}},
  journal = {{ICC Bulletine}},
  year = 1964,
  volume = 3,
  pages = {185-194}
}

@Article{LR,
  author = {D. Knuth},
  title = {On the translation of languages from left to right},           
  journal = {Information and {Control}},
  year =   1965,
  volume = 8,
  pages =  {607--639}
}

@BOOK{prawitz,
    AUTHOR = "D. Prawitz",
    TITLE = {{Natural Deduction}},
    PUBLISHER = {Almqvist \& Wiksell},
    ADDRESS = {Stockholm},
    YEAR = {1965} }

@ARTICLE{landin,
    AUTHOR = "P. Landin",
    TITLE = "The Next 700 Programming Languages",
    JOURNAL = {{Communications of the ACM}},
    VOLUME = {9},
    PAGES = {157--166},
    YEAR = {1966} 
}

@PHDTHESIS{ross-1967,
  AUTHOR = {J. Ross},
  YEAR = 1967,
  TITLE = {{Constraints on Variables in Syntax}},
  SCHOOL = {{Massachusetts Institute of Technology}}
}

@Article{knuth-1968, 
  author = "D. Knuth",
  title = "Semantics of Context-Free Languages",           
  journal = {Mathematical {Systems} {Theory}},
  year =   1968,
  volume = 2,
  pages =  {127--145}
}

@Book{lyons,
  author =	 {J. Lyons},
  title = 	 {{Introduction to Theoretical Linguistics}},
  publisher = 	 {{Cambridge University Press}},
  year = 	 {1968}
}

@ARTICLE{scott-str,
    AUTHOR = "D. S. Scott and C. Strachey",
    TITLE = "Toward a mathematical semantics for computer languages",
    JOURNAL = {Microwave Research Institute Symposia Series},
    VOLUME = {21},
    PAGES = {19--46},
    YEAR = {1970} }

@Article{earley,
  author = "J. Earley",
  title = "An efficient context-free parsing algorithm",
  journal = {Communications of the {ACM}},
  year = 1970,
  volume = 13,
  number = 2,
  pages =  {94--102}
}

@INCOLLECTION{scott,
    AUTHOR = "D. S. Scott",
    TITLE = "Advice on modal logic",
    booktitle = {Philosophical Problems in Logic},
    EDITOR = {K.\ Lambert},
    publisher = {D. Reidel},
    YEAR = {1970} }

@Article{Wirth,
  author = "N. Wirth",
  title = "Program Development by Stepwise Refinement",            
  journal = "Communications of the ACM",
  year =   1971,
  volume = 14,
  pages = {221--227}
}

@Article{Parnas,
  author =       {D. Parnas},
  title =        {{On the Criteria To Be Used in Decomposing Systems into Modules}},
  journal =      {{Communications of the ACM}},
  volume =       {15},
  pages =        {1053--1058},
  year =         {1972}
}

@BOOK{montague-1974,
    AUTHOR = "Montague, R.",
    TITLE = "Formal Philosophy",
    NOTE = {Collected papers edited by Richmond Thomason},
    PUBLISHER = {Yale University Press},
    ADDRESS = {New Haven},
    YEAR = {1974} }

@ARTICLE{partee,
    AUTHOR = {B. Partee},
    TITLE = {Montague grammar and transformational grammar},
    JOURNAL = {{Linguistic Inquiry}},
    VOLUME = {6},
    PAGES = {203--300},
    YEAR = {1975} }

@TechReport{johnson-yacc,
  author =       {S. C. Johnson},
  title =        {{Yacc --- yet another compiler compiler}},
  institution =  {{AT \& T Bell Laboratories, Murray Hill, NJ}},
  year =         {1975},
  number = {{CSTR-32}}
}

@inproceedings{donzeau-gouge-al-1975,
  author = "V. Donzeau-Gouge and G. Huet and G. Kahn and B. Lang and J.~J. Levy",
  title  = {A structure-oriented program editor: 
            a first step towards computer assisted programming},
  booktitle = {{International Computing Symposium ({ICS'75})}},
  year = {1975}
}

@Book{karlsson-1977,
  author =	 {F. Karlsson},
  title = 	 {{Finsk grammatik}},
  publisher = 	 {{Suomalaisen Kirjallisuuden Seura}},
  year = 	 {1977}
}

@INCOLLECTION{seelybrown,
    AUTHOR = "R. R. Burton and J. S. Brown",
    TITLE = "Semantic Grammar: A technique for constructing natural language interface to instructional systems",
    BOOKTITLE = "BBN Report 3587",
    PUBLISHER = {{Bolt, Beranek, and Newman, Inc.}},
    ADDRESS = {{Cambridge, Ma.}},
    YEAR = {1977}
}

@book{jackendoff,
        AUTHOR  = {R. Jackendoff},
        TITLE   = {{X-Bar Syntax: A Study of Phrase Structure}},
        YEAR    = {1977},
        PUBLISHER = {{MIT Press}}
}

@ARTICLE{Milner78atheory,
    author = {Robin Milner},
    title = {A theory of type polymorphism in programming},
    journal = {Journal of Computer and System Sciences},
    year = {1978},
    volume = {17},
    pages = {348--375}
}

@ARTICLE{fri-war,
    AUTHOR = "Friedman, J. and D. Warren",
    TITLE = "A parsing method for {Montague} grammar",
    JOURNAL = {Linguistics and Philosophy},
    VOLUME = {2},
    PAGES = {347-372},
    YEAR = {1978} }

@Article{huet-lang,
  author = {G. Huet and B. Lang},
  title =  {Proving and applying program transformations expressed 
            with second-order patterns}, 
  journal = {{Acta Informatica}},
  year =   1978,
  volume = 11
}

@Book{hellberg,
  author =	 {S. Hellberg},
  title = 	 {{The Morphology of Present-Day Swedish}},
  publisher = 	 {{Almqvist \& Wiksell}},
  year = 	 {1978}
}

@InProceedings{brodda-karlsson,
  author =       {B. Brodda and F. Karlsson},
  title =        {{An Experiment with Automatic Morphological Analysis of Finnish}},
  series =       {{Papers from the Institute of Linguistics, University of Stockholm}},
  volume =       40,
  year =         1978
}

@InProceedings{saghein-1978,
   author = "Anna {S\aa gvall Hein}",
   title = {{Finnish Morphological Analysis in the Reversible Grammar System}},
   booktitle = {{COLING 78, Information Abstracts}},
   year = {1978}
}

@BOOK{dowty-1979,
    AUTHOR = "Dowty, D",
    TITLE = "Word Meaning and Montague Grammar",
    PUBLISHER = {D. Reidel},
    ADDRESS = {Dordrecht},
    YEAR = {1979} }

@Book{hopcroft,
  author = {J. Hopcroft and J. Ullman},
  title = 	{{Introduction to Automata Theory, Languages, and Computation}},
  publisher = 	{Addison-Wesley},
  year = 	1979
}

@ARTICLE{dcg,
    AUTHOR = "F. Pereira and D. Warren",
    TITLE = "Definite clause grammars
  for language analysis---a survey of the formalism and a
  comparison with augmented transition networks",
    JOURNAL = {{Artificial Intelligence}},
    VOLUME = {13},
    PAGES = {231--278},
    YEAR = {1980} }

@ARTICLE{koskenniemi-1980,
    AUTHOR = "Kimmo Koskenniemi",
    TITLE = "On Automatic Lemmatization of Finnish",
    JOURNAL = {{Fenno-Ugrica Suecana}},
    VOLUME = {3},
    PAGES = {27--44},
    YEAR = {1980} }

@ARTICLE{saghein-1980,
    AUTHOR = "Anna {S\aa gvall Hein}",
    TITLE = "An Outline of a Computer Model of Finnish Word Recognition",
    JOURNAL = {{Fenno-Ugrica Suecana}},
    VOLUME = {3},
    PAGES = {7--26},
    YEAR = {1980} }

@article{pereira-warren,
         AUTHOR = "F. Pereira and D. Warren",
         TITLE  = "Definite Clause Grammars for Language Analysis",
         JOURNAL = {Artificial {Intelligence}},
         YEAR = {1980},
         NUMBER = {13},
         PAGES = {231--278}
 }

@Article{patr,
  author = {L. Karttunen},
  title = {PATR},           
  journal = ???,
  year =   1981,
  volume = 0,
  pages = 0
}

@Article{teitelbaum-reps-1981,
  author =       "T. Teitelbaum and T. Reps",
  title =        {The {Cornell} {Program} {Synthesizer}: a syntax-directed
                  programming environment},
  journal =      {Commun. {ACM}},
  year =         "1981",
  volume =       "24",
  number =       "9",
  pages =        {563-573}
}

@Book{barendregt-1981,
  author = "H. Barendregt",
  title = {{The Lambda Calculus. Its Syntax and Semantics}},
  publisher = "North-Holland",
  year = 1981
}

@Book{cooper,
  author =	 {R. Cooper},
  title = 	 {Quantification and Syntactic Theory},
  publisher = 	 {D. Reidel},
  year = 	 {1981}
}

@INCOLLECTION{friedman,
    AUTHOR = "Friedman, J.",
    TITLE = "Expressing logical formulas in natural language",
    EDITOR = "J. Groenendijk and T. Janssen and M. Stokhof",
    BOOKTITLE = "Formal Methods in the Study of Language, Part 1",
    PUBLISHER = {Mathematisch Centrum},
    ADDRESS = {Amsterdam},
    YEAR = {1981}, 
    PAGES = {113-130}}

@article{kamp:drt,
         AUTHOR = {H. Kamp},
         TITLE  = {{ A theory of truth and semantic representation}},
         EDITOR = {{J. Groenendijk, T. Janssen, and M. Stokhof}},
         BOOKTITLE = {{Formal Methods in the Study of Language, Part 1}},
         YEAR = {1981},
         PUBLISHER = {{Mathematisch Centrum, Amsterdam}},
         PAGES = {277--322}
 }

@Article{pereira,
  author = 	 {H.~D. Warren and F. Pereira},
  title = 	 {An Efficient Easily Adaptable System for Interpreting Natural 
                  Language Queries},
  year = 	 {1982},
  journal =       {{Computational Linguistics}},
  volume = 8,
  pages = {110-122}
}

@Book{lfg,
  editor = "J. Bresnan",
  title = {{The Mental Representation of Grammatical Relations}},	
  publisher = {{MIT Press}},
  year = 1982
}

@INCOLLECTION{mar82,
    AUTHOR = "{Martin-L\"{o}f}, Per",
    TITLE = "Constructive mathematics and computer programming",
    EDITOR = "Cohen and Los and Pfeiffer and Podewski",
    BOOKTITLE = "Logic, Methodology and Philosophy of Science VI",
    PUBLISHER = {North-Holland},
    ADDRESS = {Amsterdam},
    YEAR = {1982},
    PAGES = {153-175}}

@Article{metal,
  author = "G. Kahn and B. Lang and B. Mélèse and E. Morcos",
  title =  "Metal: a formalism to specify formalisms",
  journal = {Science of {C}omputer {P}rogramming},
  year =   1983,
  volume = 3,
  pages =  {151--188}
}

@PhdThesis{koskenniemi-1983,
  author =   {Kimmo Koskenniemi},
  title =   {{Two-Level Morphology: A General Computational Model for 
              Word-Form Recognition and Production}},
  school =   {{University of Helsinki}},
  year =   1983
}

@Book{BarstowSandewall,
  author = {Barstow, D.~R., Shrobe, H.~E., and Sandewall, E.},
  title = {Interactive Programming Environments},
  publisher = {McGraw Hill},
  year = 1984
}

@Book{prolog,
  author =       {W. F. Clocksin and C. S. Mellish},
  title =        {{Programming in Prolog}},
  publisher =    {Springer},
  year =         {1984}
}

@book{martin-lof-1984,
        AUTHOR  = {P. Martin-L\"{o}f},
        TITLE   = {{Intuitionistic Type Theory}},
        ADDRESS = {Napoli},
        YEAR    = {1984},
        PUBLISHER = {Bibliopolis}
}
@BOOK{curryfeys,
    AUTHOR = "Curry, H. B. and R. Feys",
    TITLE = "Combinatory Logic, Vol. 1",
    PUBLISHER = {North-Holland},
    ADDRESS = {Amsterdam},
    YEAR = {1958} }

@book{martin-lof:padova,
	AUTHOR	= {P. Martin-L\"{o}f},
	TITLE	= {{Intuitionistic Type Theory}},
	ADDRESS = {Napoli},
	YEAR	= {1984},
	PUBLISHER = {Bibliopolis}
}

@BOOK{gazdar-1985,
    AUTHOR = "Gazdar, G. and E. Klein and G. Pullum and I. Sag",
    TITLE = "Generalized Phrase Structure Grammar",
    PUBLISHER = {Basil Blackwell},
    ADDRESS = {Oxford},
    YEAR = {1985} }

@InCollection{joshi,
  author = "A. Joshi",
  title =  {Tree-Adjoining Grammars: How much context-sensitivity is required 
            to provide reasonable structural descriptions},  
  booktitle = {{Natural Language Parsing}},
  year =   1985,
  editor = "D. Dowty and L. Karttunen and A. Zwicky",
  publisher = {Cambridge University Press},
  pages =  {206--250}
}

@InProceedings{wadler,
  author = "P. Wadler",
  title =  "How to replace failure by a list of successes",
  booktitle = {{Second International Conference on Functional 
               Programming Languages and Computer Architectures}},
  series = lncs,
  year =   1985,
  address = spv
}

@Book{shieber,
  author = "S. Shieber",
  title = {{An Introduction to Unification-Based Approaches to Grammars}},
  publisher = "University of Chicago Press",
  year = 1986
}

@book{constable,
        AUTHOR = {R. L. Constable},
	TITLE  = {{Implementing Mathematics with the NuPRL Proof Development System}},
	YEAR   = {1986},
	PUBLISHER = {Prentice-Hall}
}

@BOOK{ML-wik,
    AUTHOR = "{Wikstr\"{o}m}, {\AA ke}",
    TITLE = "Functional Programming Using Standard ML",
    PUBLISHER = {Prentice-Hall},
    ADDRESS = {London},
    YEAR = {1987} }

@book{pereira-shieber,
        AUTHOR  = {F. Pereira and S. Shieber},
        TITLE   = {{Prolog and Natural-Language Analysis}},
        ADDRESS = {Stanford},
        YEAR    = {1987},
        PUBLISHER = {{CSLI}}
}

@inproceedings{TomitaCarbobell,
  author    = {Masaru Tomita and
               Jaime G. Carbonell},
  title     = {The Universal Parser Architecture for Knowledge-based Machine
               Translation},
  booktitle = {IJCAI},
  year      = {1987},
  pages     = {718-721},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Article{Ranta88,
  author =       "Aarne Ranta",
  title = 	 {Propositions as games as types},
  journal = 	 {Synthese},
  year = 	 {1988},
  volume =	 {76},
  pages =	 {377--395}
}

@Article{discont,
  author = "H. Uszkoreit",
  title = "German word order",            
  journal = ???,
  year =   1988,
  volume = ???,
  pages = ???
}

@Book{KRC,
  author =	 {Brian Kernighan and Dennis Ritchie},
  title = 	 {{The C Programming Language}},
  publisher = 	 {{Prentice Hall}},
  year = 	 1988,
  note =	 {Second Edition}
}

@INCOLLECTION{steedman,
    AUTHOR = "Steedman, M.",
    TITLE = "Combinators and grammars",
    EDITOR = "R. Oehrle and E. Bach and D. Wheeler",
    BOOKTITLE = "Categorial Grammars and Natural Language Structures",
    PUBLISHER = {D. Reidel},
    ADDRESS = {Dordrecht},
    YEAR = {1988}, 
    PAGES = {417-442}}

@book{aho-ullman,
        AUTHOR  = {A. Aho and R. Sethi and J. Ullman},
        TITLE   = {{Compilers: Principles, Techniques, and Tools}},
        YEAR    = {1988},
        PUBLISHER = {{Addison-Wesley}}
}

@Article{frost,
  author = "R. Frost and J. Launchbury",
  title =  "Constructing natural language interpreters 
            in a lazy functional language",
  journal = {The {Computer} {Journal}},
  year =   1989,
  volume = 32,
  number = 2,
  pages =  {108--121}
}

@PHDTHESIS{muskens-diss,
  AUTHOR = {Muskens, R.},
  YEAR = 1989,
  TITLE = {Meaning and {P}artiality},
  SCHOOL = {University of Amsterdam}
}

@article{Hughes89,
        AUTHOR = {John Hughes},
        TITLE = {Why Functional Programming Matters},
        JOURNAL = {Computer Journal},
        VOLUME = {32},
        NUMBER = {2},
        PAGES = {98--107},
        YEAR = {1989}
}

@Article{abrusci,
  author = "M. Abrusci",
  title = {{Noncommutative Intuitionistic Linear Propositional Logic}},
  journal = {{Zeitschrift für Mathematische Logik und Grundlagen der Mathematik}},
  year =   1990,
  volume = 36,
  pages =  {297--398}
}

@BOOK{nordstrom-al-1990,
    AUTHOR = "{Nordstr\"{o}m}, B. and K. Petersson and J. Smith",
    TITLE = "Programming in {Martin-L\"{o}f}'s Type Theory. An Introduction",
    PUBLISHER = {Clarendon Press},
    ADDRESS = {Oxford},
    YEAR = {1990} }

@BOOK{sml,
    AUTHOR = "R. Milner and M. Tofte and R. Harper",
    TITLE = {{Definition of Standard ML}},
    PUBLISHER = {MIT Press},
    YEAR = {1990} 
 }

@book{nordstrom:book,
	AUTHOR  = {B. Nordstr{\"{o}}m and K. Petersson and J. M. Smith},
	TITLE	= {{Programming in Martin-Löf's Type Theory. An Introduction}},
	YEAR    = {1990},
	PUBLISHER = {Oxford University Press}
}

@inproceedings{abeille-joshi,
 author = {Abeill\'{e},, Anne and Schabes,, Yves and Joshi,, Aravind K.},
 title = {Using lexicalized tags for machine translation},
 booktitle = {Proceedings of the 13th conference on Computational linguistics},
 year = {1990},
 isbn = {952-90-2028-7},
 pages = {1--6},
 location = {Helsinki, Finland},
 doi = {http://dx.doi.org/10.3115/991146.991147},
 publisher = {Association for Computational Linguistics},
 address = {Morristown, NJ, USA},
 }

@inproceedings{shieber-schabes,
  author    = {Stuart M. Shieber and
               Yves Schabes},
  title     = {Synchronous Tree-Adjoining Grammars},
  booktitle = {COLING},
  year      = {1990},
  pages     = {253-258},
  ee        = {http://acl.ldc.upenn.edu/C/C90/C90-3045.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{chomsky-1956,
 author = {Noam Chomsky},
 title = {{Three models for the description of language}},
 journal = {{IRE Transactions on Information Theory}},
 volume = {2},
 year = {1956},
 pages = {113--124},
 note = {\url{http://www.chomsky.info/articles/195609--.pdf}},
 }

@ARTICLE{seki-al-1991,
  author= {H. Seki and T. Matsumura and M. Fujii and T. Kasami},
  title = "On Multiple Context-Free Grammars", 
  journal = {{Theoretical Computer Science}}, 
  volume = 88, 
  pages = {191--229}, 
  year = 1991
}

@Article{Ranta91a,
  author =       "Aarne Ranta",
  title =        "Constructing Possible Worlds",
  journal =      "Theoria",
  volume =       "57",
  number =       "1--2",
  pages =        "77--100",
  year =         "1991"
}

@Article{hutton,
  author = "G. Hutton",
  title = "Higher-order functions for parsing",
  journal = {J. Functional Programming},
  year =   1992,
  volume = 2,
  number = 3,
  pages =  {323--343}
}

@BOOK{alshawi-1992,
    AUTHOR = "Alshawi, H",
    TITLE = {{The Core Language Engine}},
    PUBLISHER = {{MIT Press}},
    ADDRESS = {Cambridge, Ma},
    YEAR = {1992} }

@TechReport{luo-pollack-1992,
  author =	 {Z. Luo and R. Pollack},
  title =	 {{LEGO Proof Development System}},
  institution =  {University of {Edinburgh}},
  year =	 1992
}

@BOOK{grevisse,
    AUTHOR = "Grevisse, Maurice",
    TITLE = "Le bon usage, 13me edition",
    PUBLISHER = {Duculot},
    ADDRESS = {Paris},
    YEAR = {1993} }

@Book{jones-partial,
  author = {N.D. Jones and C.K. Gomard and P. Sestoft},
  title = 	{{Partial Evaluation and Automatic Program Generation}},
  publisher = 	{Prentice-Hall},
  year = 	1993
}

@InCollection{pentus,
  author = "M. Pentus",
  title = "Lambek grammars are context-free",
  booktitle = {{LICS}, {Utrecht}, {The} {Netherlands}},
  year = 1993,
  pages = {35--42}
}

@article{harper-al-1993,
        AUTHOR = {R. Harper and F. Honsell and G. Plotkin},
        TITLE = {{A Framework for Defining Logics}},
        JOURNAL = {{JACM}},
        VOLUME = {40},
        NUMBER = {1},
        YEAR = {1993},
        PAGES = {143--184}
}

@INPROCEEDINGS{Tapanainen94taggingaccurately,
    author = {Pasi Tapanainen and Atro Voutilainen},
    title = {Tagging accurately - Don't guess if you know},
    booktitle = {In Proceedings of ANLP '94},
    year = {1994},
    pages = {47--52}
}

@Article{kaplan-kay,
  author = "R. Kaplan and M. Kay",
  title =  {{Regular Models of Phonological Rule Systems}},
  journal = {{Computational Linguistics}},
  year =   1994,
  volume = 20,
  pages =  {{331--380}}
}

@Book{hpsg,
  author = "C. Pollard and I. Sag",
  title = {{Head-Driven Phrase Structure Grammar}},	
  publisher = {{University of Chicago Press}},
  year = 1994
}

@Book{rosetta-1994,
  author = {M.~T. Rosetta},
  title = 	{Compositional Translation},
  publisher = 	"Kluwer",
  address =     "Dordrecht",
  year = 	1994
}

@PhdThesis{magnusson-1994,
  author = 	 {L. Magnusson},
  title = 	 {The Implementation of ALF - a Proof Editor based on 
                  Martin-L\"of's Monomorphic Type Theory with Explicit
                  Substitution},
  school = 	 {Department of Computing Science, Chalmers University of
                  Technology and University of G\"oteborg},
  year = 	 {1994}
}

@book{morrill,
	AUTHOR  = {G. Morrill},
	TITLE	= {{Type Logical Grammar}},
	YEAR    = {1994},
	PUBLISHER = {Kluwer}
}

@incollection{debruijn-1994,
	 TITLE	= {{Mathematical Vernacular: 
                    a Language for Mathematics with Typed Sets}},
	 AUTHOR = {N. G. de Bruijn},
	 EDITOR = {R. Nederpelt},
	 BOOKTITLE	= {{Selected Papers on Automath}},
	 PUBLISHER = {{North-Holland Publishing Company}},
	 PAGES = {865--935},
	 YEAR = {1994}
 }

@inproceedings{magnusson-nordstrom-1994,
        AUTHOR = {L. Magnusson and B. Nordstr\"{o}m},
        BOOKTITLE = {{ Types for Proofs and Programs}},
        PUBLISHER = {Springer-Verlag},
        SERIES = LNCS,
        VOL = {806},
        PAGES = {213-237},
        TITLE   = {{The ALF proof editor and its proof engine}}, 
        ADDRESS = {Nijmegen},
        YEAR = {1994}
        }

@inproceedings{magnusson-nordstr,
        AUTHOR = {L. Magnusson and B. Nordstr\"{o}m},
        BOOKTITLE = {{Types for Proofs and Programs}},
        PUBLISHER = {Springer},
        SERIES = {LNCS 806},
        PAGES = {213--237},
        TITLE   = {The {ALF} proof editor and its proof engine}, 
        YEAR = {1994}
        }

@inproceedings{nlyacc,
 author = {Masayuki Ishii and Kazuhisa Ohta and Hiroaki Saito},
 title = {An efficient parser generator for natural language},
 booktitle = {Proceedings of the 15th conference on Computational linguistics},
 year = {1994},
 pages = {417--420},
 location = {Kyoto, Japan},
 doi = {http://dx.doi.org/10.3115/991886.991959},
 publisher = {Association for Computational Linguistics},
 address = {Morristown, NJ, USA},
 }

@misc{kamp-al-1994,
  author = {H. Kamp and R. Crouch and J. van Genabith and R. Cooper and M. Poesio 
            and J. van Eijck and J. Jaspars and M. Pinkal and E. Vestre and S. Pulman}, 
  year = 1994,
  title = "Specification of Linguistic Coverage",
  note = {{FRACAS Deliverable D2}} 
  }

@Article{hoas,
  author = "J. Despeyroux",
  title = "Higher-Order Abstract Syntax",            
  journal = ???,
  year =   1995,
  volume = ???,
  pages = ???
}

@Book{RussellNorvig95,
  author =       "Stuart J. Russell and Peter Norvig",
  title =        "Artificial Intelligence. {A} Modern Approach",
  publisher =    "Prentice-Hall",
  address =      "Englewood Cliffs",
  year =         "1995",
  url = "http://www.cs.berkeley.edu/~russell/aima.html"
}

@InProceedings{coscoy-al-1995,
  author =       "Y. Coscoy and G. Kahn and L. Thery",
  title =        "Extracting text from proofs",
  series =       lncs,
  volume =       "902",
  pages =        {109--123},
  year =         "1995",
  booktitle =    "Proc.\ {Second} {Int.} {Conf.} on 
                  {Typed} {Lambda} {Calculi} and {Applications}",
  editor =       "M. Dezani-Ciancaglini and G. Plotkin"
}

@InProceedings{jones-hudak,
  author = "M. Jones and P. Hudak",
  title =  "Using Types to Parse Natural Language",
  booktitle = {{Proceedings of the Glasgow Workshop on Functional Programming}},
  series = {LNCS},
  year =   1995,
  address = spv
}

@misc{minnen95offline,
  author = "G. Minnen and D. Gerdemann and T. Gotz",
  title = "Off-line optimization for Earleystyle hpsg processing",
  text = "G. Minnen, D. Gerdemann, and T. Gotz. Off-line optimization for Earleystyle
    hpsg processing. In Proc. of the 7th Conference of the eacl, Dublin, 1995.",
  year = "1995",
  url = "citeseer.ist.psu.edu/article/minnen95offline.html" }

@Manual{JavaCollection,
  title = 	 {The Java Collection Framework}, 
  year =	 {1995--1999},
  author = {{Sun Microsystems Inc.}},
  note = {\texttt{http://java.sun.com/j2se/1.3/docs/guide/collections/}}
  }

@Article{coquand-typecheck,
  author = "T. Coquand",
  title = "An Algorithm for Type Checking Dependent Types",
  journal = "Science of {Computer} {Programming}",
  year = 1996,
  volume = 26,
  pages = {167-177}
}

@Article{hudak,
  author = "P. Hudak",
  title = "Building domain-specific embedded languages",
  journal = "{ACM} {Computing} {Surveys}",
  year =   1996,
  volume = 28,
  number = 4
}

@InProceedings{DahnWolf96,
  author =       "Bernd I. Dahn and Andreas Wolf",
  title =        "Natural Language Representation and Combination of
                 Automatically Generated Proofs",
  editor =       "Franz Baader and Klaus U.~Schulz",
  booktitle =    "Frontiers of Combining Systems: Proc.\ 1st
                 International Workshop, Munich, Germany",
  publisher =    "Kluwer Academic Publishers",
  series =       "Applied Logic",
  month =        mar,
  year =         "1996",
  pages =        "175--192"
}

@InProceedings{coscoy:textproofs,
        AUTHOR = {Y. Coscoy and G. Kahn and L. Th\'ery},
        TITLE   = {Extracting Text from Proof}, 
        BOOKTITLE = {{Proceedings of the International Conference on Typed Lambda
                     Calculus and Applications (TLCA), Edinburgh}},
         EDITOR = {M. Dezani and G. Plotkin},
         SERIES = lncs,
         NUMBER = {902},
         PUBLISHER = {Springer-Verlag},
         YEAR = {1996}
 }

@TechReport{NeculaLee96,
  author =       "G. C. Necula and P. Lee",
  title =        "Proof-Carrying Code",
  institution =  "School of Computer Science, Carnegie Mellon
                 University, Pittsburgh, USA",
  year =         "1996",
  number =       "CMU-CS-96-165",
  month =        nov,
  url =          "http://www.cs.cmu.edu/~necula/tr96-165.ps.gz"
}

@misc{melchuk,
        AUTHOR  = {I. Mel'cuk},
        TITLE   = {{Vers une linguistique Sens-Texte. Le\c{c}on inaugurale}},
        YEAR    = {1997},
        PUBLISHER = {{Coll\`ege de France}},
        address = {Paris},
        note = {\url{http://olst.ling.umontreal.ca/pdf/MelcukColldeFr.pdf}}
}

@Article{huet-zipper,
  author = "G. Huet",
  title =  {The {Zipper}}, 
  journal = JFP,
  year =   1997,
  volume = 7,
  number = 5,
  pages =  {549--554}
}

@Book{bescherelle,
  author = "Bescherelle",
  title = "La conjugaison pour tous",
  publisher = "Hatier",
  year = 1997
}

@Book{jasmin,
  author =	 {J. Meyer and T. Downing},
  title = 	 {{Java Virtual Machine}},
  publisher = 	 {O'Reilly},
  year = 	 {1997}
}

@InProceedings{Necula97,
  author =       "G. C. Necula",
  title =        {{Proof-Carrying Code}},
  booktitle =    {{Proc.\ 24th {A}{C}{M} Symposium on Principles of
                 Programming Languages, {Paris}, {France}}},
  year =         "1997",
  url =          "http://www.cs.cmu.edu/~necula/popl97.ps.gz",
  pages =        "106--119",
  publisher =    "ACM Press"
}

@InProceedings{coscoy-1997,
  author =       {Y. Coscoy},
  title =        {A natural language explanation of formal proofs},
  booktitle =    {Logical Aspects of Computational Linguistics},
  pages =        {149--167},
  year =         1997,
  editor =       {C. {Retor\'e}},
  address =      {Heidelberg},
  publisher =    {Springer},
  series =       lncs,
  number=        1328
}

@article{kay-1997, 
         AUTHOR = {M. Kay},
         TITLE  = {{The Proper Place of Men and Machines in Language Translation}},
         JOURNAL = {{Machine Translation}},
         YEAR = {1997},
         NUMBER = {1--2},
         VOLUME = {12},
         PAGES = {3--23}
 }

@inproceedings{Thompson97a,
             author = {Simon Thompson},
             title = {{\em Where do I begin?} 
		  {A} problem solving approach to teaching 
		  functional programming},
             month = sep,
             year = {1997},
             pages = {},
             url = {http://www.cs.ukc.ac.uk/pubs/1997/208},
             booktitle = {First International Conference on Declarative Programming Languages in Education},
             editor = {Krzysztof Apt and Pieter Hartel and Paul Klint},
             publisher = spv,
             volume = "1292",
             pages = "323--337",
             series = lncs
             } 

@Book{appel-1998,
  author =       {A. Appel},
  title =        {{Modern Compiler Implementation in ML}},
  publisher =    {Cambridge University Press},
  year =         {1998}
}

@Book{appel-java,
  author =       {A. Appel},
  title =        {{Modern Compiler Implementation in Java}},
  publisher =    {Cambridge University Press},
  year =         {1998}
}

@InProceedings{power-scott-1998,
  author =       {R. Power and D. Scott},
  title =        {Multilingual authoring using feedback texts},
  booktitle =    {COLING-ACL 98},
  year =         1998,
  address =      {Montreal, Canada}
}

@InProceedings{semBNF,
  author =       {{P. M\"aenp\"a\"a}},
  title =        {{Semantic BNF}},
  booktitle =    "Types for Proofs and Programs, TYPES'96", 
  series =       lncs,
  publisher =    spv,
  volume =       "1512",
  pages =        "196--215",
  year =         "1998",
  editor =       "E. Gimenez and C. Paulin-Mohring"
}

@InProceedings{wysiwym,
  author =       {R. Power and D. Scott},
  title =        {Multilingual authoring using feedback texts},
  booktitle =    {{COLING}-{ACL}},
  year =         1998
}

@PhdThesis{carlsson98:fudgets_thesis,
  author =   {M. Carlsson and T. Hallgren},
  title =   {{Fudgets --- Purely Functional Processes with
                  applications to Graphical User Interfaces}},
  booktitle =   {{Fudgets --- Purely Functional Processes with
                  applications to Graphical User Interfaces}},
  school =   {Department of Computing Science, Chalmers University
                  of Technology},
  year =   1998,
  address =  {S-412 96 Göteborg, Sweden},
  month =  {March},
  documentURL = "http://www.cs.chalmers.se/~hallgren/Thesis/"
}

@PhdThesis{fudgets,
  author =   {M. Carlsson and T. Hallgren},
  title =   {{Fudgets---Purely Functional Processes with
                  applications to Graphical User Interfaces}},
  school =   {{Department of Computing Science, Chalmers University
                  of Technology}},
  year =   1998,
  documentURL = "http://www.cs.chalmers.se/~hallgren/Thesis/"
}

@book{stroustrup,
        AUTHOR  = {B. Stroustrup},
        TITLE   = {{The C++ Programming Language, Third Edition}},
        YEAR    = {1998},
        PUBLISHER = {{Addison-Wesley}}
}

@inproceedings{augustsson:cayenne,
	 AUTHOR = {L. Augustsson},
	 TITLE = {{Cayenne --- a language with dependent types}},
	 BOOKTITLE = {Proc. of the International Conference on Functional Programming (ICFP'98)},
	 PUBLISHER = {ACM Press},
	 MONTH = {September},
	 YEAR = {1998}
 }

@inproceedings{cayenne,
	 AUTHOR = {L. Augustsson},
	 TITLE = {{Cayenne---a language with dependent types}},
	 BOOKTITLE = {Proc. of {ICFP'98}},
	 PUBLISHER = {ACM Press},
	 MONTH = {September},
	 YEAR = {1998}
 }

@unpublished{agda-homepage,
  author  = "C. Coquand",
  title   = "{{AGDA Homepage}}",
  year    = 1998,
  howpublished	= {Online document},
  note		= {\verb!http://www.cs.chalmers.se/~catarina/agda/!} ,
  documenturl	= "http://www.cs.chalmers.se/~catarina/agda/"
  }

@Article{Holt99,
  author = 	 {Alexander Holt},
  title = 	 {Formal verification with natural language specifications: 
                  guidelines, experiments and lessons so far},
  journal = 	 {South African Computer Journal},
  year = 	 {1999},
  volume =	 {24},
  pages =	 {253-257},
  month =	 nov,
  url =          {http://www.ltg.ed.ac.uk/prosper/papers/holt-1999-fvn/ps/},
}

@BOOK{CAML,
    AUTHOR = "P. Weis and X. Leroy",
    TITLE = {{Le langage Caml}},
    PUBLISHER = {Dunod},
    ADDRESS = "Paris",
    YEAR = {1999} 
 }

@Book{LindholmYellinJVM,
  editor    = {T. Lindholm and F. Yellin},
  title     = {{The Java Virtual Machine Specification Second Edition}},
  publisher = {{Addison-Wesley}},
  year      = {{1999}}
}

@Book{warmer-kleppe-1999,
  author =       "J. Warmer and A. Kleppe",
  title =        {{The Object Constraint Language: Precise Modelling with UML}},
  publisher =    {{Addison-Wesley}},
  year =         "1999"
}

@INPROCEEDINGS{isar,
  AUTHOR = {M. Wenzel},
  TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}},
  BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}},
  YEAR = {1999},
  series = lncs,
  volume = {1690},
  EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry}
}

@InProceedings{HKG99,
  author = 	 {Alexander Holt and Ewan Klein and Claire Grover},
  title = 	 {Natural language for hardware verification: 
                  semantic interpretation and model checking},
  booktitle = 	 {Proc.\ ICoS-1: Inference in Computational Semantics, Amsterdam},
  pages =	 {133-137},
  year =	 {1999},
  publisher =	 {Institute for Logic, Language and Computation, 
                  University of Amsterdam},
  url = {http://www.ltg.ed.ac.uk/prosper/papers/holt-1999-nlh/ps/}
}

@InProceedings{HoltEwan99,
  author = 	 {Alexander Holt and Ewan Klein},
  title = 	 {A semantically-derived subset of {E}nglish for 
                  hardware verification},
  booktitle = 	 {Proc.\ 37th Annual Meeting of the Association for 
                  Computational Linguistics: Maryland, USA},
  pages =	 {451-456},
  year =	 {1999},
  publisher =	 {Association for Computational Linguistics},
  url = {\texttt{http://www.ltg.ed.ac.uk/prosper/papers/holt-1999-sds/ps/}}
}

@InProceedings{HoltEwan99,
  author = 	 {Alexander Holt and Ewan Klein},
  title = 	 {A semantically-derived subset of {E}nglish for 
                  hardware verification},
  booktitle = 	 {Proc.\ Ann.\ Meeting Ass.\ for 
                  Comp.\ Ling.},
  pages =	 {451--456},
  year =	 {1999},
  url = {http://www.ltg.ed.ac.uk/prosper/papers/holt-1999-sds/ps/}
}

@InProceedings{coquand1999,
  author =       {C. Coquand and T. Coquand},
  title =        {Structured Type Theory},
  booktitle =    {Workshop on Logical Frameworkds and Meta-languages},
  year =         1999,
  address =      {Paris, France}
}

@InProceedings{coquand:stt-lfm99,
  author = 	 {C. Coquand and T. Coquand},
  title = 	 {Structured Type Theory},
  booktitle = 	 {Workshop on Logical Frameworkds and Meta-languages},
  year =	 1999,
  address =	 {Paris, France},
  month =	 {Sep}
}

@InProceedings{luo-callaghan-1999,
  author = {Z. Luo and P. Callaghan},
  title = {Mathematical Vernacular and Conceptual Well-Formedness in Mathematical
           Language},
  booktitle = {{Logical Aspects of Computational Linguistics (LACL)}} ,
  year = 1999,
  editor = {A. Lecomte and F. Lamarche and G. Perrier},
  series = {{LNCS/LNAI}},
  volume = 1582,
  pages = {231--250}
}

@Misc{ALF-family-homepage,
  author =	 {},
  title =	 {{Implementation of Proof Editors}},
  howpublished = 
   {\verb!http://www.cs.chalmers.se/ComputingScience/Research/Logic/!},
  documentURL = "http://www.cs.chalmers.se/ComputingScience/Research/Logic/",
  year =	 1999
}


@Book\{bertot-casteran-2004,
  author       = "Bertot, Yves and Cast\'eran, Pierre",
  title        = "Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions",
  series       = "Texts in Theoretical Computer Science",
  year         = "2004",
  publisher    = "Springer Verlag",
  url          = "http://www.labri.fr/publications/l3a/2004/BC04"
}

@Misc{LEGO-new-homepage,
  author =	 {D. Aspinall},
  title =	 {{The LEGO Proof Assistant}},
  howpublished = {\verb!http://www.dcs.ed.ac.uk/home/lego/!},
  documentURL = "http://www.dcs.ed.ac.uk/home/lego/",
  year =	 1999
}

@Misc{coq,
  author =       {{The Coq Development Team}},
  title =	 {{The Coq Proof Assistant Reference Manual}},
  howpublished = {\verb6pauillac.inria.fr/coq/6},
  documentURL = "http://pauillac.inria.fr/coq/",
  year =	 1999
}

@Misc{coq-homepage,
  author =	 {Coq Development Team},
  title =	 {{Coq Homepage}},
  howpublished = {\verb!http://pauillac.inria.fr/coq/!},
  documentURL = "http://pauillac.inria.fr/coq/",
  year =	 1999
}

@book{mueller,
  author =       {Stefan Müller},
  title =        {{Deutsche Syntax Deklarativ}},
  year =         1999,
  publisher =      {{Max Niemeyer Verlag}}
}

@misc{bohlin-trindi,
  author = {P. Bohlin and J. Bos and S. Larsson and 
             I. Lewin and C. Matheson and D. Milward}, 
  year = 1999,
  title = {Survey of Existing Interactive Systems},
  note = {Trindi deliverable D1.3, Gothenburg University}
  }

@BOOK{steedman-book,
    AUTHOR = {M. Steedman},
    TITLE = "The Syntactic Process",
    PUBLISHER = {{The MIT Press}},
    YEAR = {2000} }

@ARTICLE{copestake,
    AUTHOR = "A. Copestake and D. Flickinger",
    TITLE = {{An open-source grammar development environment and broad-coverage English grammar using HPSG}},
    JOURNAL = {{Proceedings of the Second conference on Language Resources and Evaluation (LREC-2000)}},
    YEAR = {2000} 
}

@Article{godis,
  author = "S. Larsson and D. Traum",
  title =  {{Information state and dialogue management in the 
             TRINDI Dialogue Move Engine Toolkit}},
  journal = {{Natural Language Engineering}},
  year =   2000,
  volume = 0,
  pages =  0
}

@BOOK{cle2,
    AUTHOR = {M. Rayner and D. Carter and P. Bouillon and V. Digalakis and 
              M. Wirén},
    TITLE = {{The Spoken Language Translator}},
    PUBLISHER = {{Cambridge University Press}},
    ADDRESS = {Cambridge},
    YEAR = {2000} }

@Book{jurafsky,
  author = "D. Jurafsky and J. Martin",
  title = {{Speech and Language Processing}},	
  publisher = {{Prentice Hall}},
  year = 2000
}

@InProceedings{BaarHaehnle00a,
  author = 	 {Thomas Baar and Reiner H\"ahnle},
  title = 	 {An Integrated Metamodel for {OCL} Types},
  booktitle = 	 {Proc.\ OOPSLA 2000 Workshop Refactoring the UML:  
                  In Search of the Core, Minneapolis/MI, USA},
  year =	 {2000},
  editor =	 {Robert France and Bernhard Rumpe and Jonathan Whittle},
  month =	 oct
}

@Manual{Ranta00a,
  title =        {PESCA---A Proof Editor for Sequent Calculus},
  author =       {Aarne Ranta},
  organization = {Department of Computing Science, 
                  Chalmers University of Technology and University of Gothenburg},
  address =      {Gothenburg},
  month =        mar,
  year =         {2000},
  note =         {Program and documentation.
                  URL: \texttt{www.cs.chalmers.se\~{}aarne/pesca/}}
}

@Manual{UML1.3-specification,
  key = {UML 1.3},
  title = 	 {Unified Modelling Language Specification, version 1.3},
  organization = {Object Modeling Group},
  month =	 mar,
  year =	 2000,
  url  =         {http://cgi.omg.org/cgi-bin/doc?formal/00-03-01.ps.gz},
  note =	 {OMG document formal/00-03-01. {URL:} 
                  \texttt{http://cgi.omg.org/cgi-bin/doc?formal/00-03-01.ps.gz}}
}
@TechReport{LBR00,
  author =       "G. T. Leavens and A. L. Baker and C. Ruby",
  title =        "Preliminary Design of {JML}: A Behavioral Interface
                 Specification Language for {Java}",
  institution =  "Iowa State University, Department of Computer
                 Science",
  year =         "2000",
  number =       "98-06i",
  month =        feb,
  note =         "URL: \texttt{ftp://ftp.cs.iastate.edu/pub/techreports/TR98-06/TR.ps.gz}",
  url =          "ftp://ftp.cs.iastate.edu/pub/techreports/TR98-06/TR.ps.gz"
}

@Misc{Isabelle-homepage,
  author =	 {Isabelle},
  title =	 {{Isabelle Homepage}},
  howpublished = {\verb!http://www.cl.cam.ac.uk/Research/HVG/Isabelle/!},
  documentURL = "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html",
  year =	 2000
}

@Misc{huet-sanskrit,
  author = "G. Huet",
  title = "Sanskrit site",
  howpublished = "Program and documentation, 
                  \verb6http://pauillac.inria.fr/~huet/SKT/6", 
  documentURL = "\verb6http://pauillac.inria.fr/~huet/SKT/index.html6",
  year = 2000
}

@Misc{huet-sanskrit-short,
  author = "G. Huet",
  title = "Sanskrit site",
  howpublished = {\verb6http://pauillac.inria.fr/~huet/SKT/6}, 
  year = 2000
}

@Misc{maple-homepage,
  author =	 {Waterloo Maple Inc.},
  title =	 {{Maple Homepage}},
  howpublished = {\verb!http://www.maplesof.com/!},
  documentURL = "http://www.maplesof.com/",
  year =	 2000
}

@Misc{wolfram-2000,
  author =	 {Wolfram Research, Inc.},
  title =	 {{Mathematica Homepage}},
  howpublished = {\url{http://www.wolfram.com/products/mathematica/}},
  documentURL = "http://www.wolfram.com/products/mathematica/",
  year =	 2000
}

@PhdThesis{coscoy-2000,
  author = 	 {Y.\ Coscoy},
  title = 	 {Explication textuelle de preuves pour le calcul des
                  constructions inductives},
  school = 	 {{Universit\'e de Nice-Sophia-Antipolis}},
  year = 	 2000
}

@misc{alfa-homepage,
		  author = {T. Hallgren},
                  year = {2000},
		  title = {{Home Page of the Proof Editor Alfa}},
		  howpublished = {\verb!http://www.cs.chalmers.se/~hallgren/Alfa/!},
                  documentURL = {http://www.cs.chalmers.se/~hallgren/Alfa/}
		  }

@unpublished{XML,
  title   = {{Extensible Markup Language (XML)}},
  author  = {{The World Wide Web Consortium}},
  howpublished	= {Online document},
  year          = {2000},
  note		= {\verb!http://www.w3.org/XML/!}
  }

@Book{Ranta01a,
  author =       {Sara Negri and Jan von Plato},
  title =        {Structural Proof Theory},
  publisher =    {Cambridge University Press},
  year =         {2001, to appear},
  note =         {Appendix C ``PESCA---A Proof Editor for Sequent Calculus'' 
                  by Aarne Ranta}
}

@Book{Sommerville01,
  author =       "Ian Sommerville",
  title =        "Software Engineering",
  publisher =    "Addison-Wesley",
  year =         "2001",
  edition =      "6th"
}

@Book{stallman-2001,
  author =	 {Richard Stallman},
  title = 	 {{Using and Porting the GNU Compiler Collection}},
  publisher = 	 {{Free Software Foundation}},
  year = 	 2001,
  isbn_issn =    {ISBN 0-595-10035-X}
}

@INPROCEEDINGS{muskens-lg,
  AUTHOR = {R. Muskens},
  TITLE = {Lambda {G}rammars and the {S}yntax-{S}emantics
                  {I}nterface},
  BOOKTITLE = {Proceedings of the Thirteenth Amsterdam Colloquium},
  PAGES = {150--155},
  YEAR = {2001},
  EDITOR = {van Rooy, R. and Stokhof, M.},
  note = {\url{http://let.uvt.nl/general/people/rmuskens/pubs/amscoll.pdf}},
  PS = {amscoll.ps},
  PDF = {amscoll.pdf},
  ADDRESS = {Amsterdam}
}

@Misc{UMI,
  author =       {{Union Mundial pro Interlingua}},
  title =        {{Interlingua Homepage}},
  howpublished = {\url{http://www.interlingua.com/}},
  url =  {http://www.interlingua.com/},
  year =         {2001}
}

@Misc{happy,
  author =       {S. Marlow},
  title =        {{Happy, The Parser Generator for Haskell}},
  note = {\verb6http://www.haskell.org/happy/6},
  year =         2001
}

@PhdThesis{fiedler,
  author =   {A. Fiedler},
  title =   {{User-Adaptive Proof Explanation}},
  school =   {{Universität des Saarlandes}},
  year =   2001
}

@inproceedings{Dow:Hoc:Gaw:01,
  title = {{Practical Issues in Compiling Typed Unification Grammars 
           for Speech Recognition}},
  author = {J. Dowding and B. A. Hockey and J. M. Gawron
            and C. Culy},
  booktitle = {{ACL 2001}},
  address = {{Toulouse, France}},
  year = 2001
}

@inproceedings{degroote-acg,
  title = {{Towards Abstract Categorial Grammars}},
  author = {Ph. de Groote},
  booktitle = {{Association for Computational Linguistics, 
    39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France}},
  pages = {148--155},
  note = {\url{http://www.loria.fr/~degroote/papers/acl01.pdf}},
  year = {2001}
}

@unpublished{boeing,
  title   = {{Boeing Simplified English Checker}},
  author  = {{The Boeing Company}},
  howpublished	= {Online document},
  year          = {2001},
  note		= {\verb!http://www.boeing.com/assocproducts/sechecker/!}
  }

@article{minimal-recursion,
  author = "Copestake, A. and D. Flickinger and C. Pollard and I. Sag",
  title = "Minimal Recursive Semantics: An Introduction",
  journal = "Language and Computation", 
  volume = 1, 
  year = 2001,
  pages = {1--47}
  }


@InProceedings{butt,
  author = 	 {M. Butt and H. Dyvik and T. Holloway King and  H. Masuichi 
                  and C. Rohrer},
  title = 	 {{The Parallel Grammar Project}},
  booktitle = {{COLING 2002, Workshop on Grammar Engineering and Evaluation}},
  pages =        {1--7},
  note = {\url{http://www2.parc.com/isl/groups/nltt/pargram/buttetal-coling02.pdf}},
  year =	 {2002}
}

@InProceedings{degroote02,
   author = {Ph. de Groote},
   title = {{Tree-Adjoining Grammars as Abstract Categorial Grammars}},
   booktitle = {{TAG+6, Proceedings of the sixth International Workshop
     on Tree Adjoining Grammars and Related Frameworks}},
   pages = {145--150},
   publisher = {Universit\`a di Venezia},
   year = {2002}
}

@Misc{Isabelle-Paulson,
  author =	 "L. Paulson",
  title =	 {{The Isabelle Reference Manual}},
  note =         {{With contributions by T. Nipkow and M. Wenzel}},
  howpublished = {Available at the Isabelle homepage \verb!http://www.cl.cam.ac.uk/Research/HVG/Isabelle/!},
  documentURL = "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/Isabelle2002/doc/ref.pdf",
  year =	 2002
}

@Misc{nuance,
  author =       {{Nuance Communications}},
  title =  {{Nuance}},
  note = {\url{http://www.nuance.com}},
  year =         2002
}

@Misc{twelf,
  author =       {F. Pfenning},
  title =        {{The Twelf Project}},
  howpublished = {\verb!http://www-2.cs.cmu.edu/~twelf!},
  documentURL =  {"http://www-2.cs.cmu.edu/~twelf"},
  year =         {2002}
}

@book{CopestakeLKB,
        AUTHOR  = {A. Copestake},
        TITLE   = {{Implementing Typed Feature Structure Grammars}},
        YEAR    = {2002},
        PUBLISHER = {{CSLI Publications}}
}

@misc{htk,
  author = {Steve Young and Gunnar Evermann and Dan Kershaw and Gareth
      Moore and Julian Odell and Dave Ollason and Dan Povey and Valtcho
      Valtchev and Phil Woodland},
  title = {{The HTK Book, Version 3.2}},
  year = 2002,
  note = {{Cambridge University Engineering Dept, December 2002},
           \url{http://www.htk.eng.cam.ac.uk.}}
}

@phdthesis{larsson02:issue-based,
	author = {Larsson, Staffan  },
	citeulike-article-id = {1177735},
	keywords = {dialogue, godis},
	posted-at = {2007-03-20 16:32:36},
	priority = {2},
	school = {G\"{o}teborg University},
	title = {{I}ssue-based {D}ialogue {M}anagement},
	year = {2002}
}

@unpublished{huet-trie,
  author = {G. Huet},
  title  = {{The Zen Computational Linguistics Toolkit}}, 
  howpublished	= {{ESSLLI Summer School, Trento}},
  note		= {\verb!http://pauillac.inria.fr/~huet/!},
  year = 2002
}

@unpublished{lkb,
  title   = {{The LKB System}},
  author  = {Ann Copestake},
  howpublished	= {Online document},
  year          = {2002},
  note		= {Available on-line in \verb!http://www-csli.stanford.edu/~aac/lkb.html!}
  }

@book{karttunen-beesley,
        AUTHOR  = {K. Beesley and L. Karttunen},
        TITLE   = {{Finite State Morphology}},
        YEAR    = {2003},
        PUBLISHER = {{CSLI Publications}}
}

@techreport{KeY2003,
   author        = {Wolfgang Ahrendt and Thomas Baar and 
                    Bernhard Beckert and Richard Bubel and
		    Martin Giese and Reiner H\"ahnle and
		    Wolfram Menzel and Wojciech Mostowski and
		    Andreas Roth and Steffen Schlager and
		    Peter H. Schmitt},
   title         = {The KeY Tool},
   institution   = {Department of Computing Science, Chalmers University
		    and G\"oteborg University, G\"oteborg, Sweden},
   type          = {Technical Report in Computing Science No.\ 2003-5},
   month         = feb,		  
   year          = {2003}
}

@ARTICLE{lingo-redwoods,
    AUTHOR = {S. Oepen and D. Flickinger and K. Toutanova and C. D. Manning},
    TITLE = {{LinGO Redwoods, A Rich and Dynamic Treebank for HPSG}},
    JOURNAL = {{Research on Language and Computation}},
    volume = {2},
    pages = {575--596},
    note = {\url{http://www.springerlink.com/content/t851781443373812/}},
    YEAR = {2004} 
}

@Book{doets-eijck,
  author =       {K. Doets and J. van Eijck},
  title =        {{The Haskell Road to Logic, Maths and Programming}},
  publisher =    {College Publications},
  year =         {2004}
}

@INPROCEEDINGS{pollard-hog,
  AUTHOR = {C. Pollard},
  TITLE = {{Higher-Order Categorical Grammar}},
  BOOKTITLE = {{Proceedings of the 
     Conference on Categorial Grammars (CG2004), Montpellier, France}},
  PAGES = {340--361},
  YEAR = {2004},
  note = {\url{http://www.ling.ohio-state.edu/~hana/hog/pollard2004-CG.pdf}},
  EDITOR = {M. Moortgat}
}

@Misc{Happy-GLR,
  author =       {P. Callaghan and B. Medlock},
  title =        {{Happy-GLR}},
  note = {\verb6http://www.dur.ac.uk/p.c.callaghan/happy-glr/6},
  year =         2004
}

@Misc{owl,
  author =       {Mike Dean and Guus Schreiber},
  title =  {{OWL Web Ontology Language Reference}},
  note = {\url{http://www.w3.org/TR/owl-ref/}},
  year =         2004
}

@inproceedings{bos-steedman,
  title = {{Wide-Coverage Semantic Representations from a CCG Parser}},
  author = {J. Bos and S. Clark and M. Steedman and J. Curran and J. Hockenmaier},
  booktitle = {{Coling 2004}},
  note = {\url{http://www.iccs.inf.ed.ac.uk/~stevec/papers/bos_etal.pdf}},
  year = {2004}
}

@inproceedings{wiedijk-2004,
        AUTHOR = {F. Wiedijk},
        BOOKTITLE = {{Types for Proofs and Programs}},
        PUBLISHER = {Springer},
        SERIES = {LNCS 3085},
        editors = {S. Berardi and M. Coppo and F. Damiani},
        PAGES = {378--393},
        TITLE   = {{Formal Proof Sketches}}, 
        YEAR = {2004}
        }

@techreport{xhtml+voice,
	author = {Axelsson, Jonny   and Cross, Chris   and Ferrans, Jim   and McCobb, Gerald   and Raman, T. V.  and Wilson, Les  },
	citeulike-article-id = {1177339},
	institution = {{VoiceXML} Forum},
	keywords = {voicexml, web, xhtml-voice},
	posted-at = {2007-03-20 12:50:18},
	priority = {0},
	title = {{XHTML+Voice} Profile 1.2},
	type = {Specification},
	url = {http://www.voicexml.org/specs/multimodal/x+v/12/},
	year = {2004}
}

@unpublished{eclipse,
  title   = {{Eclipse Homepage}},
  author  = {{Eclipse.org}},
  howpublished	= {Online document},
  year          = {2004},
  note		= {\verb!http://www.eclipse.org/!}
  }

@unpublished{together,
  title   = {{Together}},
  author  = {{Borland Software Corporation}},
  howpublished	= {Online document},
  year          = {2004},
  note		= {\verb!http://www.borland.com/together/!}
  }

@ARTICLE{huet-2005,
    AUTHOR = "Gerard Huet",
    TITLE = {{A Functional Toolkit for Morphological and Phonological Processing, Application to a Sanskrit Tagger}},
    JOURNAL = {{The Journal of Functional Programming}},
    pages={573--614},
    volume={15(4)},
    YEAR = {2005} }

@INPROCEEDINGS{claessen-equinox,
  AUTHOR = {K. Claessen},
  TITLE = {{Equinox, A New Theorem Prover for Full First-Order Logic with Equality}},
  BOOKTITLE = {{Dagstuhl Seminar 05431 on Deduction and Applications}},
  note = {\url{http://www.cs.chalmers.se/~koen/pubs/entry-dagstuhl05-equinox.html}},
  YEAR = {2005}
}

@Misc{nuance-bevocal,
  author =       {{Bevocal Inc.}},
  title =  {{Nuance GSL Grammar Format}},
  note = {\url{http://cafe.bevocal.com/docs/grammar/gsl.html}},
  year =         2005
}

@inproceedings{bender,
  author = {Bender, Emily M. and Flickinger, Dan},
  title = {Rapid Prototyping of Scalable Grammars: 
  Towards Modularity in Extensions to a Language-Independent Core},
  booktitle = {Proceedings of the 2nd International Joint Conference on 
   Natural Language Processing IJCNLP-05 (Posters/Demos)},
  note = {\url{http://faculty.washington.edu/ebender/papers/modules05.pdf}},
  address = {Jeju Island, Korea},
  year = 2005
}

@inproceedings{carlson-2005,
  title = {{Inducing a Morphological Transducer from Inflectional Paradigms}},
  author = {Lauri Carlson},
  booktitle = {{Inquiries into Words, Constraints and Contexts.
    Festschrift for Kimmo Koskenniemi on his 60th Birthday}},
  publisher = {{CSLI}},
  year = 2005
}

@Article{frost-survey,
  author = "R. Frost",
  title =  "Realization of natural language interfaces using 
            lazy functional programming",
  journal = {{ACM Comput. Surv.}},
  year = 2006,
  volume = 38,
  number = 4
}

@BOOK{regulus,
    AUTHOR = {Rayner, M. and Hockey, B. A. and Bouillon, P.},
    TITLE = "Putting Linguistics into Speech Recognition: The Regulus Grammar Compiler",
    publisher = {{CSLI Publications}},
    YEAR = {2006} }

@Misc{trybulec-2006,
  author = {A. Trybulec},
  title =	 {{The Mizar Homepage}},
  note = {\url{http://mizar.org/}},
  documentURL = "http://mizar.org/",
  year =	 {2006}
}

@Misc{kotus-wordlist,
  author =       "{Kotimaisten Kielten Tutkimuskeskus}",
  title =        {{KOTUS Wordlist}},
  note = {\url{http://kaino.kotus.fi/sanat/nykysuomi}},
  year =         2006
}

@article{goldsmith,
 author = {John Goldsmith},
 title = {{An Algorithm for the Unsupervised Learning of Morphology}},
 journal = {{Nat. Lang. Eng.}},
 volume = {12},
 number = {4},
 year = {2006},
 issn = {1351-3249},
 pages = {353--371},
 doi = {http://dx.doi.org/10.1017/S1351324905004055},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
 }

@book{aho-lam-ullman,
        AUTHOR  = {A. Aho and M. Lam and R. Sethi and J. Ullman},
        TITLE   = {{Compilers: Principles, Techniques, and Tools. Second Edition}},
        YEAR    = {2006},
        PUBLISHER = {{Addison-Wesley}}
}

@Misc{XLE-homepage,
  author =       {R. Kaplan and J. Maxwell},
  title =        {{XLE Project Homepage}},
  note = {\verb6http://www2.parc.com/isl/groups/nltt/xle/6},
  year =         2007
}

@article{creutz,
 author = {Mathias Creutz and Krista Lagus},
 title = {{Unsupervised Models for Morpheme Segmentation and Morphology Learning}},
 journal = {{ACM Trans. Speech Lang. Process.}},
 volume = {4},
 number = {1},
 year = {2007},
 issn = {1550-4875},
 pages = {3},
 doi = {http://doi.acm.org/10.1145/1187415.1187418},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@misc{becker-sammie,
  author = {T. Becker and N. Blaylock and C. Gerstenberger and A. Korthauer and N. 
            Perera and M. Pitz and P. Poller and J. Schehl and F. Steffens and
            R. Stegmann and J. Steigner},
  year = 2007,
  title = {{In-Car Showcase Based on TALK}},
  note = {{TALK. Talk and Look: 
    Tools for Ambient Linguistic Knowledge. IST-507802. Deliverable 5.3}.
    \url{http://www.talk-project.org/}}
  }

@Misc{attempto,
  author =       {Attempto},
  title =        {{Attempto Project Homepage}},
  note =         {\url{http://attempto.ifi.uzh.ch/site/}},
  year =         {2008}
}

@inproceedings{espinosa,
  title = {{Hypertagging: Supertagging for Surface Realization with CCG}},
  author = "Espinosa, D. and M. White and D. Mehay",
  booktitle = {{ACL 2008}},
  address = {{Columbus, Ohio}},
  year = 2008
}



@misc{peyton-jones-2003,
         author= {S. {Peyton Jones}},
         title={{Haskell 98 language and libraries: the Revised Report}}, 
         year=2003, 
         publisher={{Cambridge University Press}},
         note={\url{http://www.haskell.org/haskellwiki/Language_and_library_specification}}
}

@Book{b-b,
  author =	 {P. Blackburn and J. Bos},
  title = 	 {Representation and Inference for Natural Language},
  publisher = 	 {Studies in Logic, Language, and Information, CSLI Press},
  year = 	 {to appear}
}

@inproceedings{airline,
	 AUTHOR = {L. Augustsson},
	 TITLE = {{Partial Evaluation in Airline Crew Scheduling}},
	 BOOKTITLE = {???},
	 PUBLISHER = {???},
	 YEAR = {???}
 }

@misc{pollard-convergent,
        AUTHOR  = {C. Pollard},
        TITLE   = {{Convergent Grammar web page}},
        YEAR    = {2009},
  note = {\url{http://www.ling.ohio-state.edu/~scott/cvg/}}
}

@inproceedings{bringert-al-2009,
	 AUTHOR = {B. Bringert and K. Angelov and A. Ranta},
	 TITLE = {{Grammatical Framework Web Service}},
	 BOOKTITLE = {{System demo, Proceedings of EACL'09, Athens}},
	 YEAR = {2009}
 }

@inproceedings{gfdemo-eacl,
	 AUTHOR = {B. Bringert and K. Angelov and A. Ranta},
	 TITLE = {{The GF Grammar Development System}},
	 BOOKTITLE = {{System demo, Proceedings of EACL'09, Athens}},
	 YEAR = {2009}
 }

@inproceedings{ranta-angelov-2010,
	 AUTHOR = {Ranta, A. and K. Angelov},
	 TITLE = {{Implementing Controlled Languages in GF}},
	 BOOKTITLE = {{Proceedings of CNL-2009, Athens}},
         series = {LNCS},
         volume = {5972},
         pages = {82--101},
	 YEAR = {2010}
 }


%%%%%%%%%%%% below this: to be sorted

@Book{bar-hillel-1964,
  author = {Y. Bar-Hillel},
  title = 	{{Language and Information}},
  publisher = 	"Addison-Wesley",
  address =     "Reading, MA",
  year = 	1964
}

@InProceedings{damljanovic,
  author = {D. Damljanovic and K. Bontcheva},
  title =  "Enhanced Semantic Access to Software Artefacts",
  booktitle = {{Workshop on Semantic Web Enabled Software Engineering (SWESE) held in conjunction with ISWC'08, Karlsruhe, Germany}},
  year = 2008
}

@InProceedings{papineni-2002,
  author = {Kishore Papineni and Salim Roukos and Todd Ward and Wei-Jing Zhu },
  title =  {{BLEU}: a Method for Automatic Evaluation of Machine Translation },
  booktitle =    {{ACL}},
  pages = {311--318},
  year =         2002
}

@Article{chandioux-1976,
  author =       {J. Chandioux},
  title =        {{MÉTÉO: un système opérationnel pour la traduction automatique 
                   des bulletins météreologiques destinés au grand public}},
  journal =      {{META}},
  volume =       {21},
  pages =        {127--133},
  year =         {1976}
}


@inproceedings{fuchs-al-2008,
	author = {Norbert E. Fuchs and Kaarel Kaljurand and Tobias Kuhn},
	title = {{Attempto Controlled English for Knowledge Representation}},
	booktitle = {{Reasoning Web, Fourth International Summer School 2008}},
	editor = {Cristina Baroglio and Piero A. Bonatti and Jan Ma{\l}uszy\'nski and Massimo Marchiori and Axel Polleres and Sebastian Schaffert},
	series = lncs,
	number = {5224},
	publisher = {Springer},
	pages = {104--124},
	year = {2008},
}


@techreport{lc-js-as:webalt2005,
  author = {Carlson, Lauri and Saludes, Jordi and Strotmann, Andreas},
  title = {Study of the state of the art in multilingual and multicultural creation of digital mathematical content.},
  institution   = {the WebALT Consortium},
  url           = {http://webalt.math.helsinki.fi/content/e16/e301/e305/Deliverable1.2_eng.pdf},
  number        = {D1.2},
  type          = {{Project Deliverable}},
  year          = {2005}
}

%
% Last day additions from Lluís (section 1.2.6)
%

@ARTICLE{brown-al-1990, 
  AUTHOR = {Peter~F.~Brown and John~Cocke and Stephen~A.~Della~Pietra and Vincent~J.~Della~Pietra and Fredrick~Jelinek and John~D.~Lafferty and Robert~L.~Mercer and Paul~S.~Roossin},
  YEAR   = {1990},
  TITLE  = {A statistical approach to machine translation},
  JOURNAL            = {Computational Linguistics},
  NUMBER             = {2},
  PAGES              = {76--85},
  VOLUME             = {16}
}

@ARTICLE{och-ney-2004, 
  AUTHOR = {Franz Josef Och and Hermann Ney},
  TITLE = {The Alignment Template Approach to Statistical Machine Translation},
  JOURNAL= {Computational Linguistics}, 
  NUMBER = 4,
  VOLUME = 30,
  YEAR = 2004,
  PAGES = {417--449}
}

@inproceedings{koehn03,
  author =       {Philipp Koehn and Franz Josef Och and Daniel Marcu},
  title =        "{Statistical Phrase-Based Translation}",
  booktitle =    {Proceedings of the Joint Conference on Human Language Technology and the North American Chapter of the Association for Computational Linguistics (HLT-NAACL)},
  year =         {2003}
}

@inproceedings{och02,
  author =       {Franz Josef Och and Hermann Ney},
  title =        "{Discriminative Training and Maximum Entropy Models for Statistical Machine Translation}",
  booktitle =    {Proceedings of the 40th ACL},
  year =         {2002},
  pages =        {295--302}
}

@techreport{moses,
    author = "Philipp Koehn and Hieu Hoang and Alexandra Birch and Chris Callison-Burch and Marcello Federico and Nicola Bertoldi and Brooke Cowan and Wade Shen and Christine Moran and Richard Zens and Chris Dyer and Ondrej Bojar and Alexandra Constantin and Evan Herbst",
    title = "{Moses: Open Source Toolkit for Statistical Machine Translation}",
    year = "2007",
    institution = "(ACL 2007) demonstration session"
}

@inproceedings{gimenez06,
  author    = {Jesús Giménez and Lluís Màrquez},
  title     = "{Low-cost Enrichment of Spanish WordNet with Automatically Translated Glosses: Combining General and Specialized Models}",
  booktitle = {Proceedings of COLING-ACL},
  year      = {2006},
}

@inproceedings{garcia09,
  author   = {Miguel García and Jesús Giménez and Lluís Màrquez},
  title    = {Enriching Statistical Translation Models using a Domain-independent Multilingual Lexical Knowledge Base},
  booktitle= {Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing-2009},
  year     = {2009},
  pages    = {--},
  address  = {Ciudad de Mexico, Mexico}
}

@InProceedings{chen07,
  author    = {Chen, Yu  and  Eisele, Andreas  and  Federmann, Christian  and  Hasler, Eva  and  Jellinghaus, Michael  and  Theison, Silke},
  title     = {Multi-Engine Machine Translation with an Open-Source {SMT} Decoder},
  booktitle = {Proceedings of the Second Workshop on Statistical Machine Translation},
  month     = {June},
  year      = {2007},
  address   = {Prague, Czech Republic},
  publisher = {Association for Computational Linguistics},
  pages     = {193--196},
}


@inproceedings{matusov06,
  author   = {Evgeny Matusov and Nicola Ueffing and Hermann Ney},
  title    = {Computing Consensus Translation for Multiple Machine Translation Systems Using Enhanced Hypothesis Alignment},
  booktitle= {Proceedings of EACL},
  year     = {2006},
  pages    = {33--40},
  address  = {Trento, Italy}
}

@InProceedings{macherey07,
  author    = {Macherey, Wolfgang  and  Och, Franz J.},
  title     = {An Empirical Study on Computing Consensus Translations from Multiple Machine Translation Systems},
  booktitle = {Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL)},
  month     = {June},
  year      = {2007},
  address   = {Prague, Czech Republic},
  publisher = {Association for Computational Linguistics},
  pages     = {986--995},
}

@inproceedings{mellebeek06,
  author   = {B. Mellebeek and A. Khasin and K. Owczarzak and J. Van Genabith and A. Way},
  title    = {Improving online Machine Translation Systems},
  booktitle= {Proceedings of the 10th Machine Translation Summit},
  year     = {2006},
  pages    = {290--297},
  address  = {Phuket, Thailand}
}

@InProceedings{huang07,
  author    = {Huang, Fei  and  Papineni, Kishore},
  title     = {Hierarchical System Combination for Machine Translation},
  booktitle = {Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL)},
  month     = {June},
  year      = {2007},
  address   = {Prague, Czech Republic},
  publisher = {Association for Computational Linguistics},
  pages     = {277--286},
}

@InProceedings{rosti07,
  author    = {Rosti, Antti-Veikko  and  Matsoukas, Spyros  and  Schwartz, Richard},
  title     = {Improved Word-Level System Combination for Machine Translation},
  booktitle = {Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics},
  month     = {June},
  year      = {2007},
  address   = {Prague, Czech Republic},
  publisher = {Association for Computational Linguistics},
  pages     = {312--319},
}

@InProceedings{karakos08,
  author    = {Karakos, Damianos  and  Eisner, Jason  and  Khudanpur, Sanjeev  and  Dreyer, Markus},
  title     = {Machine Translation System Combination using ITG-based Alignments},
  booktitle = {Proceedings of ACL-08: HLT, Short Papers},
  month     = {June},
  year      = {2008},
  address   = {Columbus, Ohio},
  publisher = {Association for Computational Linguistics},
  pages     = {81--84},
}

@InProceedings{simard07,
  author    = {Simard, Michel  and  Ueffing, Nicola  and  Isabelle, Pierre  and  Kuhn, Roland},
  title     = {Rule-Based Translation with Statistical Phrase-Based Post-Editing},
  booktitle = {Proceedings of the Second Workshop on Statistical Machine Translation},
  month     = {June},
  year      = {2007},
  address   = {Prague, Czech Republic},
  publisher = {Association for Computational Linguistics},
  pages     = {203--206},
}

@inproceedings{terumasa07,
  author   = {Ehara Terumasa},
  title    = {Rule based machine translation combined with statistical post editor for Japanese to English patent translation},
  booktitle= {MT Summit XI Workshop on patent translation},
  year     = {2007},
  pages    = {13--18},
  address  = {Copenhagen, Denmark}
}

@inproceedings{gimenez06b,
  author    = {Jes\'us Gim\'enez and Enrique Amig\'o},
  title     = {{\sc IQmt}: A Framework for Automatic Machine Translation Evaluation},
  booktitle = {Proceedings of the 5th International Conference on
               Language Resources and Evaluation (LREC'06)},
  year      = {2006}
}

@inproceedings{callison-burch06,
  author = {Chris Callison-Burch and Miles Osborne and Philipp Koehn},
  title =  "{Re-evaluating the Role of BLEU in Machine Translation Research}",
  booktitle = {Proceedings of EACL},
  year      = {2006}
}


@inproceedings{gimenez08,
  author =       {Jes\'{u}s Gim\'{e}nez and Llu\'{i}s M\`{a}rquez},
  title =        "{A Smorgasbord of Features for Automatic MT Evaluation}",
  booktitle =    {Proceedings of the ACL Workshop on Statistical Machine Translation},
  year =         {2008},
  pages     = {195--198},
}


@phdthesis{gimenez08b,
  author =       {Jes\'{u}s Gim\'{e}nez},
  title =        "{Empirical Machine Translation and its Evaluation}",
  school =       "Universitat Polit\`ecnica de Catalunya",
  year =         {2008}
}


@inproceedings{WMT07,
  author =       {Chris Callison-Burch and Cameron Fordyce and Philipp Koehn and Christof Monz and Josh Schroeder},
  title =        "{(Meta-) Evaluation of Machine Translation}",
  booktitle =    {Proceedings of the ACL-2007 Workshop on Statistical Machine Translation},
  year =         {2007},
  pages     = {136--158}
}

@inproceedings{WMT08,
  author =       {Chris Callison-Burch and Cameron Fordyce and Philipp Koehn and Christof Monz and Josh Schroeder},
  title =        "{Further (Meta-) Evaluation of Machine Translation}",
  booktitle =    {Proceedings of the ACL-2008 Workshop on Statistical Machine Translation},
  year =         {2008}
}

@InProceedings{carreras09,
   author    = {Carreras, Xavier  and  Collins, Michael},
   title     = {Non-Projective Parsing for Statistical Machine Translation},
   booktitle = {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing},
   month     = {August},
   year      = {2009},
   address   = {Singapore},
   publisher = {Association for Computational Linguistics},
   pages     = {200--209},
   url       = {http://www.aclweb.org/anthology/D/D09/D09-1021}
 }



%%%%%%%%%%%%%%%%%%%%%

@Misc{dean-schreiber-2004,
  author =       {Mike Dean and Guus Schreiber},
  title =  {{OWL Web Ontology Language Reference}},
  note = {\url{http://www.w3.org/TR/owl-ref/}},
  year =         2004
}

@inproceedings{hart-al-2008,
  author    = {Glen Hart and
               Martina Johnson and
               Catherine Dolbear},
  title     = {Rabbit: Developing a Control Natural Language for Authoring
               Ontologies},
  booktitle = {ESWC},
  year      = {2008},
  pages     = {348-360}
}

@article{ranta-lilt,
  author =       {A. Ranta},
  title =        {{The GF Resource Grammar Library}},
  journal = {{Linguistic Issues in Language Technology}},
  volume = {2},
  year =         {2009}
}


@inproceedings{1220242,
 author = {Al-Onaizan, Yaser and Papineni, Kishore},
 title = {Distortion models for statistical machine translation},
 booktitle = {ACL-44: Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics},
 year = {2006},
 pages = {529--536},
 location = {Sydney, Australia},
 doi = {http://dx.doi.org/10.3115/1220175.1220242},
 publisher = {Association for Computational Linguistics},
 address = {Morristown, NJ, USA},
 }

@ARTICLE{bringert-ranta-2008,
    AUTHOR = {B. Bringert and A. Ranta},
    TITLE = {{A Pattern for Almost Compositional Functions}},
    JOURNAL = {{The Journal of Functional Programming}},
    pages={567--598},
    volume={18(5--6)},
    YEAR = {2008}
 }




@book{hutchins-somers-1992,
        AUTHOR  = {W. J. Hutchins and H. L. Somers},
        TITLE   = {{An Introduction to Machine Translation}},
        YEAR    = {1992},
        PUBLISHER = {{Academic Press Limited}},
        Address = "London"
}

@Misc{pierce-al-1966,
  author = {John R. Pierce and John B. Carroll and al.},
  title = {{Language and Machines — Computers in Translation and Linguistics. 
    ALPAC report}}, 
  publisher = {{
   National Academy of Sciences, National Research Council}}, 
  address = {{Washington, DC}},
  year = 1966
}

@book{hutchins-2000,
        AUTHOR  = {W. J. Hutchins},
        TITLE   = {{Early years in machine translation: Memoirs and biographies of pioneers}},
        YEAR    = {2000},
        PUBLISHER = {{John Benjamins}},
        Address = "Amsterdam"
}

@ARTICLE{shannon-1948,
    AUTHOR = {C. Shannon},
    TITLE = {{A Mathematical Theory of Communication}},
    JOURNAL = {{The Bell System Technical Journal}},
    volume={1},
    YEAR = {1948}
 }

@ARTICLE{ajdukiewicz-1935,
    AUTHOR = {K. Ajdukiewicz},
    TITLE = {{Die syntaktische konnexität}},
    JOURNAL = {{Studia Philosophica}},
    volume={1},
    YEAR = {1935},
    pages = {1--27}
 }

@ARTICLE{welsh-al-1991,
    AUTHOR = {J. Welsh and B. Broom and D. Kiong},
    TITLE = {{A design rationale for a language-based editor}},
    JOURNAL = {{Software: Practice and Experience}},
    volume={21},
    YEAR = {1991},
    pages = {923–-948}
 }

@phdthesis{norell-2007,
  author  = {Ulf Norell},
  title	  = {Towards a practical programming language based on dependent type
	     theory},
  school  = {Department of Computer Science and Engineering, Chalmers University of Technology},
  year	  = 2007,
  month	  = {September},
  address = {SE-412 96 G\"{o}teborg, Sweden}
}


@article {angelov-al-2010,
	title = {D10.2 MOLTO web service, first version},
	number = {D10.2},
	year = {2010},
	month = {06/2010},
	type = {Project Deliverable},
	address = {Gothenburg, Sweden},
	attachments = {http://www.molto-project.eu/sites/default/files/D10.2.pdf},
	author = {Krasimir Angelov and Olga Caprotti and Ramona Enache and Thomas Hallgren and Listenmaa, Inari and Aarne Ranta and Saludes, Jordi and Slaski, Adam}
}

@article{jelinek-2009,
 author = {Jelinek, Frederick},
 title = {{The dawn of statistical ASR and MT}},
 journal = {Computational Linguistics},
 volume = {35},
 number = {4},
 year = {2009},
 issn = {0891-2017},
 pages = {483--494},
 doi = {http://dx.doi.org/10.1162/coli.2009.35.4.35401},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@techreport{dowek-al-1993,
    HAL_ID = {inria-00070014},
    URL = {http://hal.inria.fr/inria-00070014/en/},
    title = { {T}he {C}oq proof assistant user's guide : version 5.8},
    author = {{D}owek, {G}illes and {F}elty, {A}my and {H}erbelin, {H}ugo and {H}uet, {G}{\'e}rard and {P}arent, {C}atherine and {P}aulin-{M}ohring, {C}hristine and {W}erner, {B}enjamin and {M}urthy, {C}hetan},
    language = {{E}nglish},
    affiliation = {{INRIA} {R}ocquencourt - {INRIA} {R}ocquencourt - {INRIA} },
    pages = {120 },
    type = {{R}esearch {R}eport},
    institution = {INRIA},
    number = {{RT}-0154},
    year = {1993},
    URL = {http://hal.inria.fr/inria-00070014/PDF/RT-0154.pdf},
}


@Book{carlson-1983,
    author = {Lauri Carlson},
    title =  {{Dialogue Games: An Approach to Discourse Analysis}},
    publisher = "D. Reidel Co.",
    address = "Dordrecht",
    year = {1983}
  }

@INCOLLECTION{ranta-2008,
    AUTHOR = "A. Ranta",
    TITLE = {How predictable is {Finnish} morphology? An experiment on lexicon construction},
    EDITOR = {{J. Nivre and M. Dahll\"of and B. Megyesi}},
    BOOKTITLE = "Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein",
    PUBLISHER = {{University of Uppsala}},
    note = {\url{http://publications.uu.se/abstract.xsql?dbid=8933}},
    YEAR = {2008},
    PAGES = {130-148}
  }


@Article{karttunen-karttunen-1976,
  author = "Frances Karttunen and Lauri Karttunen",
  title =  {{The clitic -kin/-kaan in Finnish}},
  journal = "Texas Linguistic Forum",
  year =   1976,
  volume = 5,
  pages = {89-118}
}

@Article{zwicky-1977,
  author = "Arnold Zwicky",
  title =  "On Clitics",
  journal = "Indiana University Linguistic Club",
  year =   1976,
  volume = 5,
  pages = {89-118}
}

@InCollection{carlson-1993,
  author =       "Lauri Carlson",
  title =        {{Dialogue Games with Finnish Clitics}},
  booktitle =    "Yearbook of the Linguistic Society of Finland",
  publisher =    "SKY",
  address = "Helsinki",
  year =         "1993",
  editor =       "M. Vilkuna and S. Shore"
}

@PhdThesis{nevis-1986,
  author =  "Joel A. Nevis",
  title =   "Finnish Particle Clitics and General Clitic Theory",
  school =  "Department of Linguistics, Ohio State University, Columbus",
  year  =   {1986}
}

@InProceedings{benzmuller-al-1997,
  title     = {Omega: Towards a mathematical assistant},
  author    = {C. Benzm\"uller and L. Cheikhrouhou and D. Fehrer and A. Fiedler and  Huang and M. Kerber and M. Kohlhase and K. Konrad and E. Melis and A. Meier and W. Schaarschmidt and J. Siekmann and V. Sorge},
  year      = {1997},
  booktitle = {Proceedings of the 14th Conference on Automated Deduction},
  publisher = {Springer},
}

@INPROCEEDINGS{wenzel-1999,
  author    = {Markus Wenzel},
  title     = {Isar - A Generic Interpretative Approach to Readable Formal
               Proof Documents},
  booktitle = {TPHOLs},
  year      = {1999},
  pages     = {167-184},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1690/16900167.htm},
  crossref  = {DBLP:conf/tphol/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tphol/1999,
  editor    = {Yves Bertot and
               Gilles Dowek and
               Andr{\'e} Hirschowitz and
               C. Paulin and
               Laurent Th{\'e}ry},
  title     = {Theorem Proving in Higher Order Logics, 12th International
               Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = lncs,
  volume    = {1690},
  year      = {1999},
  isbn      = {3-540-66463-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{frege-1879,
    AUTHOR = "Frege, Gottlob",
    TITLE = "Begriffsschrift",
    PUBLISHER = {Louis Nebert},
    ADDRESS = {Halle A/S},
    YEAR = {1879} 
}


@article{kamareddine-wells-2008,
  author    = {Fairouz Kamareddine and
               J. B. Wells},
  title     = {{Computerizing Mathematical Text with MathLang}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {205},
  year      = {2008},
  pages     = {5-30},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2008.03.063},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{cramer-al-2009,
  author    = {Marcos Cramer and
               Bernhard Fisseni and
               Peter Koepke and
               Daniel K{\"u}hlwein and
               Bernhard Schr{\"o}der and
               Jip Veldman},
  title     = {{The Naproche Project Controlled Natural Language Proof Checking
               of Mathematical Texts}},
  booktitle = {CNL},
  year      = {2009},
  pages     = {170-186},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14418-9_11},
  crossref  = {fuchs-2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{fuchs-2009,
  editor    = {Norbert E. Fuchs},
  title     = {Controlled Natural Language, Workshop on Controlled Natural
               Language, CNL 2009, Marettimo Island, Italy, June 8-10,
               2009. Revised Papers},
  booktitle = {CNL},
  publisher = {Springer},
  series    = lncs,
  volume    = {5972},
  year      = {2010},
  isbn      = {978-3-642-14417-2},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14418-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@misc{neumaier-2009,
  author =   "Arnold Neumaier",
  title =    {{FMathL - Formal Mathematical Language}},
  year =     "2009",
  note =   {\url{http://www.mat.univie.ac.at/~neum/FMathL.html}}
}

@article{libbrecht-2001,
  author =   "Paul Libbrecht",
  title =    {{OpenMath Home Page}},
  year =     "2001",
  note =   {\url{http://www.openmath.org/}}
}

@misc{saludes-2010,
  author =   "Jordi Saludes and Sebasti\`a Xamb\'o",
  title =    {{MOLTO Mathematical Grammar Library}},
  year =     "2010",
  note =   {\url{http://www.molto-project.eu/node/1246}}
}

@article{barwise-cooper-1981,
	volume = {4},
	number = {2},
	author = {Jon Barwise and Robin Cooper},
	title = {Generalized Quantifiers and Natural Language},
	journal = {Linguistics and Philosophy},
	year = {1981},
	pages = {159--219}
}

@book{reiter-dale-2000,
  author =   "Ehud Reiter and Robert Dale",
  title =    {{Building Natural Language Generation Systems}},
  publisher =  "Cambridge University Press",
  year =     "2000"
}

@inproceedings{bos-al-2004,
   title     = {{Wide-Coverage Semantic Representations from a CCG Parser}},
   author    = {Bos, Johan and Clark, Stephen and Steedman, Mark and Curran, James R. and Hockenmaier, Julia},
   booktitle = {Proceedings of the 20th International Conference on Computational Linguistics (COLING '04)},
   address   = {Geneva, Switzerland},
   pages     = {1240--1246},
   year      = {2004}
}


@inproceedings{bos-markert-2005,
  author    = {Johan Bos and
               Katja Markert},
  title     = {{Recognising Textual Entailment with Robust Logical Inference}},
  booktitle = {MLCW},
  year      = {2005},
  pages     = {404-426},
  ee        = {http://dx.doi.org/10.1007/11736790_23},
  crossref  = {DBLP:conf/mlcw/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/mlcw/2005,
  editor    = {Joaquin Qui{\~n}onero Candela and
               Ido Dagan and
               Bernardo Magnini and
               Florence d'Alch{\'e}-Buc},
  title     = {{Machine Learning Challenges, Evaluating Predictive Uncertainty,
               Visual Object Classification and Recognizing Textual Entailment,
               First PASCAL Machine Learning Challenges Workshop, MLCW
               2005, Southampton, UK, April 11-13, 2005, Revised Selected
               Papers}},
  booktitle = {MLCW},
  publisher = {Springer},
  series    = lncs,
  volume    = {3944},
  year      = {2006},
  isbn      = {3-540-33427-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@phdthesis{bobrow-1964,
  author =   "Daniel G. Bobrow",
  title =    "Natural Language Input for a Computer Problem Solving System",
  school =  "Massachusetts Institute of Technology",
  year =     "1964"
}

@phdthesis{zinn-2004,
  author =   "Claus Zinn",
  title =    "Understanding Informal Mathematical Discourse",
  school =  "Department of Computer Science, University of Erlangen-N{\"u}rnberg",
  year =     "2010"
}

@phdthesis{ganesalingam-2010,
  author =   "Mohan Ganesalingam",
  title =    "The Language of Mathematics",
  school =  "Department of Computer Science, University of Cambridge",
  year =     "2010",
  note = {\url{http://people.pwf.cam.ac.uk/mg262/}}
}

@article{rice-1953,
     jstor_articletype = {research-article},
     title = {Classes of Recursively Enumerable Sets and Their Decision Problems},
     author = {Rice, H. G.},
     journal = {Transactions of the American Mathematical Society},
     jstor_issuetitle = {},
     volume = {74},
     number = {2},
     jstor_formatteddate = {Mar., 1953},
     pages = {pp. 358-366},
     url = {http://www.jstor.org/stable/1990888},
     ISSN = {00029947},
     abstract = {},
     language = {English},
     year = {1953},
     publisher = {American Mathematical Society},
     copyright = {Copyright Â© 1953 American Mathematical Society},
    }

@article{abbott-al-1996,
 author = {Abbott, John and D\'{\i}az, Angel and Sutor, Robert S.},
 title = {{A report on OpenMath: a protocol for the exchange of mathematical information}},
 journal = {SIGSAM Bull.},
 volume = {30},
 issue = {1},
 month = {March},
 year = {1996},
 issn = {0163-5824},
 pages = {21--24},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/231191.231194},
 doi = {http://doi.acm.org/10.1145/231191.231194},
 acmid = {231194},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@misc{ranta-2011b,
  author =   "Aarne Ranta",
  title =    {{Grammatical Framework: A Hands-On Introduction}},
  howpublished =  "CADE-23 Tutorial, Wroclaw",
  year = "2011",
  note = {{\url{http://www.grammaticalframework.org/gf-cade-2011/}}},
  url =  http://www.grammaticalframework.org/gf-tutorial-cade-2011/
}

@inproceedings{gruzitis-2011,
  author =   "Normunds Gruzitis and Guntis Barzdins",
  title =    {{Towards a More Natural Multilingual Controlled Language Interface to OWL}},
  booktitle =  "9th International Conference on Computational Semantics (IWCS)",
  year =     "2011",
  note =   {\url{http://www.aclweb.org/anthology/W/W11/W11-0138.pdf}},
  pages =    {335--339}
}

@inproceedings{niles-pease-2001,
 author = {Niles, Ian and Pease, Adam},
 title = {Towards a standard upper ontology},
 booktitle = {Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001},
 series = {FOIS '01},
 year = {2001},
 isbn = {1-58113-377-4},
 location = {Ogunquit, Maine, USA},
 pages = {2--9},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/505168.505170},
 doi = {http://doi.acm.org/10.1145/505168.505170},
 acmid = {505170},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {knowledge interchange format, ontologies},
} 

@article{humayoun-raffalli-2010,
  author =   "Muhammad Humayoun and Christophe Raffalli",
  title =    {{MathNat - Mathematical Text in a Controlled Natural Language}},
  journal =  {{Journal on Research in Computing Science}},
  year =     "2010",
  volume =   "66"
}

@article{sutcliffe-benzmuller-2010,
  author =   "Geoff Sutcliffe and Christoph Benzm{\"u}ller",
  title =    {{Automated Reasoning in Higher-Order Logic
               using the TPTP THF Infrastructure}},
  journal =  {{Journal of Formalized Reasoning}},
  year =     "2010",
  volume =   "3"
}

@inproceedings{camilleri-al-2010,
  author =   "John J. Camilleri and Gordon J. Pace and Michael Rosner",
  booktitle =    {{Playing Nomic Using a Controlled Natural Language}},
  conference =  "CNL 2010, Second Workshop on Controlled Natural Languages",
  year =     "2010",
  note = {\url{http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-622/paper7.pdf}}
}

@misc{mitankin-al-2010,
  author =   "Petar Mitankin and Atanas Ilchev",
  title =    {{Knowledge Representation Infrastructure}},
  year =     "2010",
  note =    {{MOLTO Deliverable D4.1. \url{http://www.molto-project.eu/sites/default/files/D4.1_0.pdf}}}
}

@article{buchberger-al-2006,
  author    = {Bruno Buchberger and
               Adrian Craciun and
               Tudor Jebelean and
               Laura Kov{\'a}cs and
               Temur Kutsia and
               Koji Nakagawa and
               Florina Piroi and
               Nikolaj Popov and
               Judit Robu and
               Markus Rosenkranz},
  title     = {Theorema: Towards computer-aided mathematical theory exploration},
  journal   = {J. Applied Logic},
  volume    = {4},
  number    = {4},
  year      = {2006},
  pages     = {470-504},
  ee        = {http://dx.doi.org/10.1016/j.jal.2005.10.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{wittgenstein-1953,
    AUTHOR = "Wittgenstein, Ludwig",
    TITLE = "Philosophical Investigations",
    PUBLISHER = {Basil Blackwell},
    ADDRESS = {Oxford},
    YEAR = {1953} 
}

@inproceedings{shiffman-al-2010,
 author = {Shiffman, Richard N. and Michel, George and Krauthammer, Michael and Fuchs, Norbert E. and Kaljurand, Kaarel and Kuhn, Tobias},
 title = {Writing clinical practice guidelines in controlled natural language},
 booktitle = {Proceedings of the 2009 conference on Controlled natural language},
 series = {CNL'09},
 year = {2010},
 isbn = {3-642-14417-9, 978-3-642-14417-2},
 location = {Marettimo Island, Italy},
 pages = {265--280},
 numpages = {16},
 url = {http://portal.acm.org/citation.cfm?id=1893475.1893493},
 acmid = {1893493},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 


@inproceedings{koehn-hoang-2007,
  author    = {Philipp Koehn and
               Hieu Hoang},
  title     = {Factored Translation Models},
  booktitle = {EMNLP-CoNLL},
  year      = {2007},
  pages     = {868-876},
  ee        = {http://www.aclweb.org/anthology/D07-1091},
  crossref  = {DBLP:conf/emnlp/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/emnlp/2007,
  title     = {EMNLP-CoNLL 2007, Proceedings of the 2007 Joint Conference
               on Empirical Methods in Natural Language Processing and
               Computational Natural Language Learning, June 28-30, 2007,
               Prague, Czech Republic},
  booktitle = {EMNLP-CoNLL},
  publisher = {ACL},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{lopez-2008,
  author    = {Adam Lopez},
  title     = {Statistical machine translation},
  journal   = {ACM Comput. Surv.},
  volume    = {40},
  number    = {3},
  year      = {2008},
  ee        = {http://doi.acm.org/10.1145/1380584.1380586},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{rayner-al-2011,
  author    = {Manny Rayner and Paula Estrella and Pierrette Bouillon},
  title     = {Bootstrapping A Statistical Speech Translator From A Rule-Based One},
  booktitle = {Proceedings of the Second International Workshop on 
               Free/Open-Source Rule-Based Machine Translation (2011: Barcelona)},
  year      = {2011},
  note      = {\url{http://hdl.handle.net/10609/5647}}
}

@inproceedings{tyers-nordfalk-2009,
  author    = {Francis Tyers and Jacob Nordfalk},
  title     = {{Shallow-transfer rule-based machine translation for Swedish to Danish}},
  booktitle = {Proceedings of the First International Workshop on 
               Free/Open-Source Rule-Based Machine Translation (2009: Alicante)},
  year      = {2009},
  note      = {\url{http://hdl.handle.net/10045/12024}}
}

