text:
@STRING{ecmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{ai    = "Artificial Intelligence"}
@STRING{mcgh	 = "McGraw-Hill"}
@STRING{jair  = "Journal of Artificial Intelligence Research"}
@STRING{kauf     = "Morgan Kaufmann"}
@STRING{wil      = "Wiley"}
@STRING{spring   = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}

@collection{GabSieWoo:cl14,
  booktitle = {Computational Logic},
  title = {Computational Logic},
  editor = {Dov M. Gabbay and Jörg Siekmann and John Woods},
  isbn = {9780444516244},
  publisher  = {North Holland},
  year = {2014}}

@proceedings{LWDA18,
  editor    = {Rainer Gemulla and
               Simone Paolo Ponzetto and
               Christian Bizer and
               Margret Keuper and
               Heiner Stuckenschmidt},
  title     = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2191},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2191}}

@proceedings{CADE25,
  editor    = {Amy P. Felty and Aart Middeldorp},
  title     = {Automated Deduction - {CADE-25}},
  booktitle     = {Automated Deduction - {CADE-25}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9195},
  publisher = {Springer},
  year      = {2015},
  keywords = {conference}}

@proceedings{ESSLLI18,
  booktitle = {At the Intersection of Language, Logic, and Information. ESSLLI 2018.},
  editor = {Jennifer Sikos and Eric Pacuit},
  series = {Lecture Notes in Computer Science},
  volume = {11667},
  publisher = {Springer},
  year = {2019},
  location = {Berlin, Heidelberg}}

@proceedings{IJCAR18,
  editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  publisher = {Springer Verlag},
  year = {2018},
  keywords = {conference}}

@proceedings{DOCENG13,
 editor    = {Simone Marinai and Kim Marriott},
 title = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
 booktitle = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
 keywords = {conference},
 year = {2013},
 isbn = {978-1-4503-1789-4},
 location = {Florence, Italy}}

@proceedings{CPP16,
  note = {submitted to CPP 2016},
  year = {2016}}

@proceedings{SIGIR13,
  editor    = {Gareth J. F. Jones and
               Paraic Sheridan and
               Diane Kelly and
               Maarten de Rijke and
               Tetsuya Sakai},
 title = {Proceedings of the 36th International {ACM SIGIR} Conference on Research and Development in Information Retrieval},
 booktitle = {Proceedings of the 36th International {ACM SIGIR} Conference on Research and Development in Information Retrieval},
 year = {2013},
 isbn = {978-1-4503-2034-4},
 location = {Dublin, Ireland},
 publisher = {ACM},
 keywords = {conference},
 address = {New York, NY, USA}}

@book{KosBuc:rtul15,
 title = {The Road to Universal Logic, Festschrift for the 50th Birthday of {Jean-Yves B{\'e}ziau}},
 volume = {2},
 editor = {Koslow, Arnold and Buchsbaum, Arthur},
 publisher = {Springer Verlag},
 year = 2015}

@proceedings{SEMS15,
  year = {2015},
  booktitle = {Second workshop on Software Engineering methods in Spreadsheets},
  title = {Second workshop on Software Engineering methods in Spreadsheets},
  note = {accepted}}

@proceedings{ICMS14,
  editor    = {Hoon Hong and Chee Yap},
  title     = {Mathematical Software - {ICMS} 2014 - 4th International Congress},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress},
  series    = {LNCS},
  year      = {2014},
  volume    = {8592},
  keywords = {conference},
  publisher = {Springer},
  doi       = {10.1007/978-3-662-44199-2},
  isbn      = {978-3-662-44198-5}}

@proceedings{ICMS16,
  editor = {Gert-Martin Greuel and Thorsten Koch and Peter Paule and Andrew Sommese},
  Title     = {Mathematical Software - {ICMS} 2016 - 5th International Congress},
  booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Congress},
  series    = {LNCS},
  year      = {2016},
  volume    = {9725},
  keywords = {conference},
  publisher = {Springer},
  doi       = {10.1007/978-3-319-42432-3}}

@proceedings{ICMS18,
    booktitle = {Mathematical Software -- ICMS 2018. 6th international conference},
    title = {Mathematical Software -- ICMS 2018. 6th international conference},
    ISBN = {978-3-319-96417-1},
    Year = {2018},
    Publisher = {Springer},
    Language = {English}}

@proceedings{ITP17,
  year = {2017},
  isbn = {978-3-319-66107-0},
  title = {Interactive Theorem Proving 8th International Conference, ITP 2017},
  booktitle = {Interactive Theorem Proving},
  keywords = {conference},
  volume = {10499},
  series = {LNCS},
  editor = {Ayala-Rinc{\'o}n, Mauricio and Mu{\~n}oz, C{\'e}sar A.},
  publisher={Springer}}

@proceedings{ITP13,
  year = {2013},
  isbn = {978-3-642-39633-5},
  title = {Interactive Theorem Proving},
  booktitle = {Interactive Theorem Proving},
  keywords = {conference},
  volume = {7998},
  series = {LNCS},
  editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},
  publisher={Springer}}

@proceedings{FOIS14,
  editor    = {Pawel Garbacz and Oliver Kutz},
  booktitle = {Formal Ontology in Information Systems - Proceedings of the Eighth
               International Conference, {FOIS} 2014},
  title     = {Formal Ontology in Information Systems - Proceedings of the Eighth
               International Conference, {FOIS} 2014},
  series    = {Frontiers in Artificial Intelligence and Applications},
  year      = {2014},
  volume    = {267},
  keywords = {conference},
  publisher = {{IOS} Press},
  isbn      = {978-1-61499-437-4}}

@proceedings{FEOSW2012,
  booktitle = {1\textsuperscript{st} Workshop on Finance and Economics on the Semantic Web ({FEOSW})},
  year = 2012,
  editor = {{\'A}ngel Garc{\'i}a-Crespo and Juan Miguel G{\'omez}-Berb{\'i}s and Alejandro Rodr{\'i}gues-Gonz{\'a}lez and Brahmananda Sapkota},
  url = {http://nadir.uc3m.es/feosw2012/proceedings.html#ui-tabs-9},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2012-05-27},
  title = {Proceedings of the 1\textsuperscript{st} Workshop on Finance and Economics on the Semantic Web ({FEOSW})},
}

@Proceedings{AISBIACAP12,
  year = {2012},
  editor = {Alison Pease and Brendan Larvor},
  booktitle= {Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and Cognition II},
  title= {Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and Cognition II},
  publisher = {AISB},
  isbn = {978-1-908187-10-9},
  url = {http://homepages.inf.ed.ac.uk/apease/aisb12/1.pdf}}

@Book{EndresNiggemeyer:SemanticMashups13,
  booktitle = {Semantic Mashups},
  booksubtitle = {Intelligent Reuse of Web Resources},
  title = {Semantic Mashups},
  subtitle = {Intelligent Reuse of Web Resources},
  editor = {Brigitte Endres-Niggemeyer},
  url = {https://sites.google.com/site/mashupbookchapters/},
  isbn = {978-3-642-36402-0},
  publisher = {Springer},
  year = 2013,
}

@proceedings{NTCIR10,
  title = {NTCIR Workshop 10 Meeting},
  editor = {Noriko Kando and Kazuaki Kishida},
  booktitle = {NTCIR Workshop 10 Meeting},
  address = {Tokyo, Japan},
  publisher = {NII, Tokyo},
  year = {2013}}

@proceedings{NTCIR11,
  title = {NTCIR Workshop 11 Meeting},
  editor = {Noriko Kando and Hideo Joho and Kazuaki Kishida},
  booktitle = {NTCIR 11 Conference},
  address = {Tokyo, Japan},
  publisher = {NII, Tokyo},
  year = {2014}}

@proceedings{NTCIR12,
  booktitle = {Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies},
  title = {Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies},
  editor = {Noriko Kando and Tetsuya Sakai and Mark Sanderson},
  address = {Tokyo, Japan},
  publisher = {NII, Tokyo},
  year = {2016}}

@proceedings{THEDU11,
  editor    = {Pedro Quaresma and Ralph-Johan Back},
  title     = {Proceedings First Workshop on CTP Components for Educational
               Software, THedu'11, Wroclaw, Poland, 31th July 2011},
  booktitle = {THedu},
  series    = {EPTCS},
  volume    = {79},
  year      = {2011},
  doi       = {10.4204/EPTCS.79}}

@proceedings{ProWM13,
  editor    = {Franz Lehner and Nadine Amende and Nora Fteimi},
   booktitle     = {{Professionelles Wissenmanagement Management, Konferenzbeitr{\"a}ge der 7. Konferenz}},
   title     = {{Professionelles Wissenmanagement Management, Konferenzbeitr{\"a}ge der 7. Konferenz}},
  publisher = {GITO Verlag},
  year      = {2013},
  keywords = {conference},
  isbn      = {978-3-95545-016-8}
}

@proceedings{tke2012,
  title = {Terminology and Knowledge Engineering Conference ({TKE})},
  booktitle = {Terminology and Knowledge Engineering Conference ({TKE})},
  editor = {Aguado de Cea, Guadalupe and Mari Carmen Su{\'a}rez-Figueroa and Ra{\'u}l Garc{\'i}a-Castro and Elena Montiel-Ponsoda},
  year = {2012},
  venue = {Madrid, Spain},
  eventdate = {2012-06-20/2012-06-21},
  isbn = {978-84-695-4333-7},
  keywords = {conference},
  url = {http://oeg-lia3.dia.fi.upm.es/tke2012/proceedings}
}

@proceedings{DBLP:conf/context/2005,
  editor    = {Anind K. Dey and
               Boicho N. Kokinov and
               David B. Leake and
               Roy M. Turner},
  title     = {Modeling and Using Context, 5th International and Interdisciplinary
               Conference, CONTEXT 2005, Paris, France, July 5-8, 2005,
               Proceedings},
  booktitle = {CONTEXT},
  publisher = {Springer},
  series    = {LNCS},
  number    = {3554},
  year      = {2005},
  keywords = {conference},
  isbn      = {3-540-26924-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{eswc2012,
  editor = {Elena Simperl and Philipp Cimiano and Axel Polleres and Oscar Corcho and Valentina Presutti},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2012-05-27/2012-05-31},
  eventtitle = {9\textsuperscript{th} Extended Semantic Web Conference ({ESWC})},
  title = {The Semantic Web},
  booktitle = {The Semantic Web},
  keywords = {conference},
  publisher = {Springer},
  series    = {LNCS},
  number    = {7295},
  year = 2012,
  doi = {10.1007/978-3-642-30284-8},
  isbn = {978-3-642-30283-1},
  acceptancerate = {25},
}

@comment{Note: part=2 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct}
@proceedings{eswc2011-2,
  editor = {Grigoris Antoniou and Marko Grobelnik and Paslaru Bontas Simperl, Elena and Bijan Parsia and Dimitris Plexousakis and Pieter De Leenheer and Jeff Z. Pan},
  title     = {The Semantic Web: Research and Applications (Part {II})},
  eventtitle = {8\textsuperscript{th} Extended Semantic Web Conference ({ESWC})},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2011-05-29/2011-06-02},
  booktitle = {ESWC (Part {II})},
  publisher = {Springer Verlag},
  address = {Heidelberg},
  series    = {LNCS},
  keywords = {conference},
  number = {6644},
  isbn = {978-3-642-21033-4},
  year      = {2011}}

@Proceedings{escience2010,
  title =    {6\textsuperscript{th} {IEEE} e-Science conference},
  booktitle =    {6\textsuperscript{th} {IEEE} e-Science conference},
  eventdate = {2010-12},
  venue = {Brisbane, Australia},
  keywords = {conference},
  year = 2010,
}

@proceedings{DBLP:conf/eScience/2011,
  title     = {IEEE 7th International Conference on E-Science, e-Science
               2011, Stockholm, Sweden, December 5-8, 2011},
  booktitle = {eScience},
  publisher = {IEEE Computer Society},
  year      = {2011},
  isbn      = {978-1-4577-2163-2},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6122900},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{ESWC2011Post,
  editor = {Garc{\'i}a Castro, Ra{\'u}l and Dieter Fensel and Grigoris Antoniou},
  title     = {The Semantic Web: {ESWC} 2011 Workshops},
  booktitle     = {The Semantic Web: {ESWC} 2011 Workshops},
  eventtitle = {Workshops at the 8\textsuperscript{th} Extended Semantic Web Conference ({ESWC})},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2011-05-29/2011-05-30},
  publisher = {Springer Verlag},
  address = {Heidelberg},
  series    = {LNCS},
  number = 7117,
  isbn = {978-3-642-25952-4},
  year      = {2011},
  acceptancerate = {29},
  acceptancerateCOMMENT = {22 papers selected out of 75 that had been accepted by the workshops}}

@proceedings{WebSci2010,
  booktitle = {Proceedings of WebSci'10: Extending the Frontiers of Society On-Line},
  year = 2010,
  publisher = {Web Science Trust}}

@proceedings{XMLPrague2010,
  booktitle = {Proceedings of XML Prague 2010},
  url = {http://www.xmlprague.cz/2010/},
  year = {2010},
  keywords = {conference},
  pages = {317--339}}

@Proceedings{Ariadne2003,
  title =	 {3\textsuperscript{rd} {Ariadne} Conference},
  booktitle = 	 {3\textsuperscript{rd} Annual {Ariadne} Conference},
  eventdate = {2003-11-20/2003-11-21},
  venue = {Katholieke Universiteit Leuven, Belgium},
  year = 	 {2003}}

@Proceedings{CK2009,
  title =	 {Proceedings of the Workshop on Collaborative Construction, Management and Linking of Structured Knowledge ({CK})},
  booktitle = 	 {Proceedings of the Workshop on Collaborative Construction, Management
and Linking of Structured Knowledge ({CK})},
  year = 	 {2009},
  editor =	 {Tania Tudorache and Gianluca Correndo and Natasha Noy and Harith Alani and Mark Greaves},
  number =	 514,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  url = {http://CEUR-WS.org/Vol-514},
  issn = {1613-0073}}

@proceedings{SPOT2009,
  author = {Michael Hausenblas and Philipp K{\"a}rger and Daniel Olmedilla and Alexandre Passant and Axel Polleres},
  title = {Proceedings of the 1\textsuperscript{st} Workshop on Trust and Privacy on the Social and Semantic Web ({SPOT})},
  booktitle = {Proceedings of the 1\textsuperscript{st} Workshop on Trust and Privacy on the Social and Semantic Web ({SPOT})},
  eventdate = {2009-06-01},
  year = 2009,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  url = {http://CEUR-WS.org/Vol-447},
  number = 447,
  issn = {1613-0073}}

@proceedings{woa/2007,
  editor    = {Matteo Baldoni and
               Antonio Boccalatte and
               Flavio De Paoli and
               Maurizio Martelli and
               Viviana Mascardi},
  title     = {WOA 2007: Dagli Oggetti agli Agenti},
  eventtitle = {8\textsuperscript{th} AI*IA/TABOO Joint
               Workshop ``From Objects to Agents'': Agents and Industry:
               Technological Applications of Software Agents},
  eventdate = {2007-09-24/2007-09-25},
  venue = {Genova, Italy},
  booktitle = {WOA},
  publisher = {Seneca Edizioni Torino},
  year      = {2007},
  isbn      = {978-88-6122-061-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@Proceedings{LDOW2008,
  editor =	 {Christian Bizer and Tom Heath and Kingsley Idehen and Tim Berners-Lee},
  booktitle =	 {Linked Data on the Web ({LDOW})},
  title =	 {Linked Data on the Web ({LDOW})},
  year =	 2008,
  number = 369,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  month = apr,
  url = {http://CEUR-WS.org/Vol-369}}

@Proceedings{LDOW2010,
  editor =	 {Christian Bizer and Tom Heath and Tim Berners-Lee and Michael Hausenblas},
  booktitle =	 {Linked Data on the Web ({LDOW})},
  title =	 {Linked Data on the Web ({LDOW})},
  year =	 2010,
  month = apr,
  number = 628,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-628}}

@Proceedings{LDOW2014,
  editor =	 {Christian Bizer and Tom Heath and S{\"o}ren Auer and Tim Berners-Lee},
  booktitle =	 {Linked Data on the Web ({LDOW})},
  title =	 {Linked Data on the Web ({LDOW})},
  year =	 2014,
  NOTYETmonth = apr,
  NOTYETnumber = 628,
  NOTYETseries = {CEUR Workshop Proceedings},
  NOTYETaddress = {Aachen},
  NOTYETissn = {1613-0073},
  NOTYETurl = {http://CEUR-WS.org/Vol-628},
  url = {http://events.linkeddata.org/ldow2014/},
  eventdate = {2014-04-08},
  venue = {Seoul}}

@proceedings{DBLP:conf/its/2006,
  editor    = {Mitsuru Ikeda and
               Kevin D. Ashley and
               Tak-Wai Chan},
  title     = {Intelligent Tutoring Systems, 8th International Conference,
               ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings},
  booktitle = {Intelligent Tutoring Systems},
  publisher = {Springer},
  series    = {LNCS},
  keywords = {conference},
  number    = {4053},
  year      = {2006},
  isbn      = {3-540-35159-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{cp09,
  title = 	 {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)},
  booktitle = 	 {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)},
  editor    = {Ian P. Gent},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5732},
  year      = {2009},
}

@proceedings{DBLP:conf/kr/2006,
  editor    = {Patrick Doherty and
               John Mylopoulos and
               Christopher A. Welty},
  title     = {Proceedings, 10\textsuperscript{th} International Conference on Principles
               of Knowledge Representation and Reasoning},
  venue = {Lake District of the United Kingdom},
  eventdate = {2006-06-02/2006-06-05},
  booktitle = {KR},
  publisher = {AAAI Press},
  keywords = {conference},
  year      = {2006},
  isbn      = {978-1-57735-271-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@Proceedings{AIMashup09,
  title =    {{AI Mashup Challenge}},
  booktitle =    {{AI Mashup Challenge at KI Conference}},
  year =     {2009},
  month = sep,
  editor =   {Brigitte Endres-Niggemeyer and Valentin Zacharias and Pascal Hitzler},
  url = {http://endres-niggemeyer.fh-hannover.de/mashupPresent/mashupStart.html}}

@Proceedings{AIMashup11,
  title =    {{AI Mashup Challenge}},
  booktitle =    {{AI Mashup Challenge at ESWC}},
  year =     {2011},
  month = jun,
  editor =   {Brigitte Endres-Niggemeyer and Pascal Hitzler},
  url = {http://sites.google.com/a/fh-hannover.de/aimashup11/}}

@proceedings{DBLP:conf/tphol/2007,
  editor    = {Klaus Schneider and
               Jens Brandt},
  title     = {Theorem Proving in Higher Order Logics, 20th International
               Conference, TPHOLs 2007, Kaiserslautern, Germany, September
               10-13, 2007, Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {LNCS},
  number    = {4732},
  year      = {2007},
  isbn      = {978-3-540-74590-7},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Proceedings{EaPiM,
  title =    {{Conference on Explanation and Proof in Mathematics: Philosophical and Educational Perspectives}},
  year =     {2006},
  booktitle =    {{Conference on Explanation and Proof in Mathematics: Philosophical and Educational Perspectives}},
  editor =   {Gila Hanna and Hans Niels Jahnke and Helmut Pulte},
  keywords = {conference},
  month =    nov,
  url = {http://www.ruhr-uni-bochum.de/wtundwg/}}

@proceedings{swdb2004,
  editor    = {Christoph Bussler and
               Val Tannen and
               Irini Fundulaki},
  title     = {Semantic Web and Databases ({SWDB}), Second International Workshop, Revised Selected Papers},
  venue = {Toronto, Canada},
  eventdate = {2004-08-29/2004-08-30},
  booktitle = {SWDB},
  publisher = {Springer Verlag},
  series = {LNCS},
  number    = {3372},
  year      = 2005,
  isbn      = {3-540-24576-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@Proceedings{OWLED09,
  title = 	 {OWL: Experiences and Directions ({OWLED})},
  booktitle =    {OWL: Experiences and Directions ({OWLED})},
  year =	 2009,
  editor =	 {Rinke Hoekstra and Peter F. Patel-Schneider},
  month =	 oct}

@Proceedings{OWLED08,
  title = 	 {OWL: Experiences and Directions ({OWLED})},
  booktitle =    {OWL: Experiences and Directions ({OWLED})},
  year =	 2008,
  editor =	 {Uli Sattler and Cathy Dolbear and Alan Ruttenberg},
  month =	 oct}

@Proceedings{OWLED06,
  title = 	 {OWL: Experiences and Directions ({OWLED})},
  booktitle =    {OWL: Experiences and Directions ({OWLED})},
  year =	 2006,
  editor =	 {Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace},
  month =	 nov}

@Proceedings{OWLED05,
  title = 	 {OWL: Experiences and Directions ({OWLED})},
  booktitle =    {OWL: Experiences and Directions ({OWLED})},
  year =	 2005,
  editor =	 {Bernardo Cuenca Grau and Ian Horrocks and Bijan Parsia and Peter Patel-Schneider},
  month =	 nov}

@proceedings{DBLP:conf/ecai/2004,
  editor    = {Ramon L{\'o}pez de M{\'a}ntaras and
               Lorenza Saitta},
  title     = {Proceedings of the 16\textsuperscript{th} Eureopean Conference on Artificial
               Intelligence, ECAI'2004, including Prestigious Applicants
               of Intelligent Systems, PAIS 2004},
  venue = {Valencia, Spain},
  eventdate = {2004-08-22/2004-08-27},
  booktitle = {ECAI},
  publisher = {IOS Press},
  year      = 2004,
  isbn      = {1-58603-452-9},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@Proceedings{SFSW09,
  editor = {Chris Bizer and S{\"o}ren Auer and Gunnar AAstrand Grimnes},
  title = {Scripting and Development for the Semantic Web ({SFSW})},
  booktitle = {Scripting and Development for the Semantic Web ({SFSW})},
  number = 449,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-449},
  year = {2009},
  month = may}

@Proceedings{SFSW10,
  editor = {Gunnar AAstrand Grimnes and S{\"o}ren Auer and Gregory Todd Williams},
  title = {Scripting and Development for the Semantic Web ({SFSW})},
  booktitle = {Scripting and Development for the Semantic Web ({SFSW})},
  number = 699,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-699},
  year = {2010},
  month = may}

@proceedings{DBLP:conf/mkm/2006,
  editor    = {Jonathan M. Borwein and
               William M. Farmer},
  title     = {Mathematical Knowledge Management, 5th International Conference,
               MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  booktitle = {MKM},
  publisher = {Springer},
  series    = {LNCS},
  number    = {4108},
  year      = {2006},
  isbn      = {3-540-37104-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{ECAI90,
  title = {Proceedings of of the 9\textsuperscript{th} European Conference on Artifical Intelligence},
  year = {1990},
  editor = {Luigia Carlucci Aiello},
  address = {Stockholm, Sweden},
  publisher = {Pitman Publishing, London, England},
  keywords = {conference},
  booktitle = {Proceedings of of the 9\textsuperscript{th} European Conference on Artifical Intelligence},
  key = {ECAI1990}}

@Proceedings{icaps03,
  key = 	 "ICAPS-03",
  title = 	 "Proceedings of the 13th International Conference on
                  Automated Planning and Scheduling (ICAPS'03)",
  booktitle = 	 "Proceedings of the 13th International Conference on
                  Automated Planning and Scheduling (ICAPS'03)",
  year = 	 2003,
  editor = 	 "Enrico Giunchiglia and Nicola Muscettola and Dana Nau",
  publisher = kauf,
  address = 	 "Trento, Italy",
}

@Proceedings{icaps04,
  key = 	 "ICAPS-04",
  title = 	 "Proceedings of the 14th International Conference on
                  Automated Planning and Scheduling (ICAPS'04)",
  booktitle = 	 "Proceedings of the 14th International Conference on
                  Automated Planning and Scheduling (ICAPS'04)",
  year = 	 2004,
  editor = 	 "Sven Koenig and Shlomo Zilberstein and Jana Koehler",
  publisher = kauf,
  address = 	 "Whistler, Canada",
}

@Proceedings{icaps05,
  key = 	 "ICAPS-05",
  title = 	 "Proceedings of the 15th International Conference on
                  Automated Planning and Scheduling (ICAPS-05)",
  booktitle = 	 "Proceedings of the 15th International Conference on
                  Automated Planning and Scheduling (ICAPS-05)",
  year = 	 2005,
  editor = 	 "Susanne Biundo and Karen Myers and Kanna Rajan",
  publisher = kauf,
  address = 	 "Monterey, CA, USA",
}

@Proceedings{icaps06,
  key = 	 "ICAPS-06",
  title = 	 "Proceedings of the 16th International Conference on
                  Automated Planning and Scheduling (ICAPS'06)",
  booktitle = 	 "Proceedings of the 16th International Conference on
                  Automated Planning and Scheduling (ICAPS'06)",
  year = 	 2006,
  editor = 	 "Derek Long and Stephen Smith",
  publisher = kauf,
  address = 	 "Ambleside, UK",
}

@Proceedings{icaps07,
  key = 	 "ICAPS-07",
  title = 	 "Proceedings of the 17th International Conference on
                  Automated Planning and Scheduling (ICAPS'07)",
  booktitle = 	 "Proceedings of the 17th International Conference on
                  Automated Planning and Scheduling (ICAPS'07)",
  year = 	 2007,
  editor = 	 "Mark Boddy and Maria Fox and Sylvie Thiebaux",
  publisher = kauf,
  address = 	 "Providence, Rhode Island, USA",
}

@Proceedings{icaps08,
  editor =       "Jussi Rintanen and Bernhard Nebel and J. Christopher
                  Beck and Eric Hansen",
  title =        "Proceedings of the 18th International Conference on
                  Automated Planning and Scheduling (ICAPS'08)",
  booktitle =    "Proceedings of the 18th International Conference on
                  Automated Planning and Scheduling (ICAPS'08)",
  year =         "2008",
  publisher =    "AAAI Press"
}

@Proceedings{icaps09,
  editor =       "Alfonso Gerevini and Adele Howe and Amedeo Cesta and
                  Ioannis Refanidis",
  title = 	 "Proceedings of the 19th International Conference on
                  Automated Planning and Scheduling (ICAPS'09)",
  booktitle = 	 "Proceedings of the 19th International Conference on
                  Automated Planning and Scheduling (ICAPS'09)",
  year =         "2009",
  publisher =    "AAAI Press"
}

@Proceedings{icaps10,
  editor    = {Ronen I. Brafman and
               Hector Geffner and
               J{\"o}rg Hoffmann and
               Henry A. Kautz},
  title = 	 "Proceedings of the 20th International Conference on
                  Automated Planning and Scheduling (ICAPS'10)",
  booktitle = 	 "Proceedings of the 20th International Conference on
                  Automated Planning and Scheduling (ICAPS'10)",
  year =         "2010",
  publisher =    "AAAI Press"
}

@Proceedings{icaps11,
 editor    = {Fahiem Bacchus and
               Carmel Domshlak and
               Stefan Edelkamp and
               Malte Helmert},
  title = 	 "Proceedings of the 21st International Conference on
                  Automated Planning and Scheduling (ICAPS'11)",
  booktitle = 	 "Proceedings of the 21st International Conference on
                  Automated Planning and Scheduling (ICAPS'11)",
  year =         "2011",
  publisher =    "AAAI Press"
}

@Proceedings{icaps12,
  editor =       "Blai Bonet and Lee McCluskey and Jos\'{e} Reinaldo Silva and Brian Williams",
  title = 	 "Proceedings of the 22nd International Conference on
                  Automated Planning and Scheduling (ICAPS'12)",
  booktitle = 	 "Proceedings of the 22nd International Conference on
                  Automated Planning and Scheduling (ICAPS'12)",
  year =         "2012",
  publisher =    "AAAI Press"
}

@Proceedings{icaps13,
  editor =       "Daniel Borrajo and Simone Fratini and Subbarao Kambhampati and Angelo Oddi",
  title = 	 "Proceedings of the 23rd International Conference on
                  Automated Planning and Scheduling (ICAPS'13)",
  booktitle = 	 "Proceedings of the 23rd International Conference on
                  Automated Planning and Scheduling (ICAPS'13)",
  year =         "2013",
  address = "Rome, Italy",
  publisher =    "AAAI Press"
}

@Proceedings{icaps14,
  editor =       "Steve Chien and Minh Do and Alan Fern and Wheeler Ruml",
  title = 	 "Proceedings of the 24th International Conference on
                  Automated Planning and Scheduling (ICAPS'14)",
  booktitle = 	 "Proceedings of the 24th International Conference on
                  Automated Planning and Scheduling (ICAPS'14)",
  year =         "2014",
  publisher =    "AAAI Press"
}

@Proceedings{icaps15,
  editor =       "Ronen Brafman and Carmel Domshlak and Patrik Haslum and Shlomo Zilberstein",
  title = 	 "Proceedings of the 25th International Conference on
                  Automated Planning and Scheduling (ICAPS'15)",
  booktitle = 	 "Proceedings of the 25th International Conference on
                  Automated Planning and Scheduling (ICAPS'15)",
  year =         "2015",
  publisher =    "AAAI Press"
}

@Proceedings{icaps16,
  editor =       "Amanda Coles and Andrew Coles and Stefan Edelkamp and Daniele Magazzeni and Scott Sanner",
  title = 	 "Proceedings of the 26th International Conference on
                  Automated Planning and Scheduling (ICAPS'16)",
  booktitle = 	 "Proceedings of the 26th International Conference on
                  Automated Planning and Scheduling (ICAPS'16)",
  year =         "2016",
  publisher =    "AAAI Press"
}

@Proceedings{ecp01,
  title = 	 {Proceedings of the 6th European
                  Conference on Planning (ECP'01)},
  booktitle = 	 {Proceedings of the 6th European
                  Conference on Planning (ECP'01)},
  year = 	 {2001},
  editor =       {A. Cesta and D. Borrajo},
  publisher =	 spring,
}

@Proceedings{ECAI92,
  key =         "ECAI-92",
  editor =      "B. Neumann",
  title = 	"Proceedings of the 10th European Conference on Artificial
                  Intelligence (ECAI'92)",
  booktitle = 	"Proceedings of the 10th European Conference on Artificial
                  Intelligence (ECAI'92)",
  year = 	1992,
  publisher = 	wil,
  address = 	"Vienna, Austria",
  month = 	Aug
}

@PROCEEDINGS{AIED03-v,
  title = {AIED2003 --- Supplementary Proceedings of the 11\textsuperscript{th} International
    Conference on Artificial Intelligence in Education},
  year = {2003},
  editor = {Vincent Aleven and Ulrich Hoppe and Judy Kay and Riichiro Mizoguchi
    and Helen Pain and Felisa Verdejo and Kalina Yacef},
  volume = {V: Learner Modelling for Reflection},
  series = {Frontiers in Artificial Intelligence and Applications},
  keywords = {conference},
  address = {Sidney, Australia},
  publisher = {School of Information Technologies, University of Sydney}}

@PROCEEDINGS{AIED03-viii,
  title = {AIED2003 --- Supplementary Proceedings of the 11\textsuperscript{th} International
    Conference on Artificial Intelligence in Education},
  year = {2003},
  editor = {Vincent Aleven and Ulrich Hoppe and Judy Kay and Riichiro Mizoguchi
    and Helen Pain and Felisa Verdejo and Kalina Yacef},
  volume = {VIII: Advanced Technologies for Mathematics Education},
  series = {Frontiers in Artificial Intelligence and Applications},
  keywords = {conference},
  address = {Sidney, Australia},
  publisher = {School of Information Technologies, University of Sydney}}

@PROCEEDINGS{ICCS01,
  title = {Computational Science --- ICCS 2001},
  year = {2001},
  editor = {Vassil N. Alexandrov and Jack J. Dongarra and Benjoe A. Juliano and
    Ren{\`e} S. Renner and C. J. Kenneth Tan},
  number = {2074},
  series = {LNCS},
  keywords = {conference},
  address = {San Francisco, CA\USA},
  publisher = {Springer Verlag},
  key = {ICCS2001}}

@PROCEEDINGS{SIGMEDIA-97,
  title = {Referring Phenomena in a Multimedia Context and Their Computational
    Treatment},
  year = {1997},
  editor = {Elisabeth Andr{\'e}},
  address = {Madrid, Spain}}

@PROCEEDINGS{FROCOS02,
  title = {Frontiers of Combinning Systems ({FROCOS'02})},
  year = {2002},
  editor = {Alessandro Armando},
  number = {2309},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Frontiers of Combinning Systems ({FROCOS'02})},
  key = {FROCOS2002}}

@PROCEEDINGS{CALCULEMUS99,
  title = {{CALCULEMUS 99}, Systems for Integrated Computation and Deduction},
  year = {1999},
  editor = {Alessandro Armando and Tudor Jebelean},
  series = {Electronic Notes in Theoretical Computer Science},
  address = {Trento, \ITALY},
  publisher = {Elsevier},
  note = {URL:~\url{http://www.elsevier.nl/locate/entcs}},
  url = {http://www.elsevier.nl/locate/entcs},
  booktitle = {{CALCULEMUS 99}, Systems for Integrated Computation and Deduction}}

@Proceedings{BucGonHaz:MKM03,
  title =    {Mathematical Knowledge Management},
  year =     2003,
  editor =   {Bruno Buchberger and  Gaston Gonnet and Michiel Hazewinkel},
  note =     {special issue of Annals of Mathematics and Artificial Intelligence},
  volume = 38}

@PROCEEDINGS{MKM03,
  title = {Mathematical Knowledge Management, {MKM'03}},
  year = {2003},
  editor = {Andrea Asperti and Bruno Buchberger and James Harold Davenport},
  number = {2594},
  series = {LNCS},
  keywords = {conference},
  publisher = {Springer Verlag},
  booktitle = {Mathematical Knowledge Management, {MKM'03}}}

@PROCEEDINGS{DEDTREFF93,
  title = {Proceedings of the Annual Meeting of ``GI-Fachgruppe Deduktionssysteme''},
  year = {1993},
  editor = {J{\"u}rgen Avenhaus and J{\"o}rg Denzinger},
  number = {SR-93-11},
  series = {SEKI-Report},
  address = {Kaiserslautern, Germany},
  booktitle = {Proceedings of the Annual Meeting of ``GI-Fachgruppe Deduktionssysteme''}}

@PROCEEDINGS{FROCOS96,
  title = {\PROC of First International Workshop Frontiers of Combinning Systems
    ({FROCOS'96})},
  year = {1996},
  editor = {Franz Baader and Klaus Schulz},
  series = {Series on Applied Logic},
  publisher = {Kluwer},
  keywords = {conference},
  booktitle = {\PROC of First International Workshop Frontiers of Combinning Systems
    ({FROCOS'96})},
  key = {FROCOS1996}}

@PROCEEDINGS{LPAR02,
  year = {2002},
  editor = {Matthias Baaz and Andrei Voronkov},
  number = {2514},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning --
    9\textsuperscript{th} International Conference, LPAR 2002},
  key = {LPAR2002}}

@proceedings{UITP14,
  year = "2014",
  booktitle = "Workshop on User Interfaces for Theorem Provers",
  title = "Workshop on User Interfaces for Theorem Provers",
  editor = "C. Benzm{\"u}ller and B. {Woltzenlogel Paleo}",
  publisher = "Elsevier"}

@proceedings{uitp2012,
  editor = {Cezary Kaliszyk and Christoph L{\"u}th},
  title = {User Interfaces for Theorem Provers},
  eventtitle = {10\textsuperscript{th} UITP workshop (at {CICM} 2012)},
  eventdate = {2012-07-11},
  venue = {Bremen, Germany},
  year = 2012,
  url = {http://www.informatik.uni-bremen.de/uitp12/}
}

@PROCEEDINGS{UITP98,
  title = {User Interfaces for Theorem Provers},
  year = {1998},
  editor = {Roland C. Backhouse},
  number = {98-08},
  series = {Computing Science Reports},
  address = {{Department of Mathematics and Computing Science, Eindhoven Technical
    University}},
  booktitle = {User Interfaces for Theorem Provers},
  key = {UITP1998}}

@PROCEEDINGS{IJCAI93,
  year = {1993},
  editor = {Ruzena Bajcsy},
  address = {Chambery, France},
  publisher = {Morgan Kaufmann, San Mateo, CA},
  booktitle = {Proceedings of the 13\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1993}}

@Proceedings{ijcai09,
  title =        "Proceedings of the 21st International Joint Conference on
                  Artificial Intelligence ({IJCAI}'09)",
  booktitle =    "Proceedings of the 21st International Joint Conference on
                  Artificial Intelligence ({IJCAI}'09)",
  year =         "2009",
  editor =      "C. Boutilier",
  publisher =    kauf,
  address =     "Pasadena, California, USA",
  month =       Jul
}

@proceedings{ijcai11,
  editor    = {Toby Walsh},
  title     = {Proceedings of the 22nd International Joint
               Conference on Artificial Intelligence (IJCAI'11)},
  booktitle = {Proceedings of the 22nd International Joint
               Conference on Artificial Intelligence (IJCAI'11)},
  publisher = {AAAI Press/IJCAI},
  year      = {2011},
}

@proceedings{IJCAI13,
 booktitle = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence ({IJCAI})},
 year = {2013},
 isbn = {978-1-57735-633-2},
 location = {Beijing, China},
 publisher = {AAAI Press}}

@PROCEEDINGS{TABLEAU95,
  title = {Theorem Proving with Analytic Tableaux and Related Methods},
  year = {1995},
  editor = {P. Baumgartner and R. H{\"a}hnle and J. Posegga},
  number = {918},
  series = {LNAI},
  keywords = {conference},
  booktitle = {Theorem Proving with Analytic Tableaux and Related Methods},
  key = {TABLEAU1995}}

@PROCEEDINGS{BenMeu:holal,
  title = {Handbook of Logic and Language},
  year = {1997},
  editor = {van Benthem, Johan and ter Meulen, Alice},
  publisher = {Elsevier Science},
  booktitle = {Handbook of Logic and Language}}

@BOOK{BeTM:holal95,
  title = {Handbook of Logic and Language},
  publisher = {Elsevier Science B.V.},
  year = {1995},
  editor = {Johan van Benthem and Ter Meulen}}

@PROCEEDINGS{IJCAR_WS7,
  title = {Computer-Supported Mathematical Theory Development},
  booktitle = {Computer-Supported Mathematical Theory Development},
  year = {2004},
  editor = {Benzm{\"u}ller, Christoph and Windsteiger, Wolfgang},
  number = {04-14},
  series = {RISC Report Series},
  note = {IJCAR'04 Workshpo in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5.},
  url = {http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/},
  organization = {RISC Institute, University of Linz}}

@PROCEEDINGS{ags-2003-d-2,
  title = {Systems for Integrated Computation and Deduction --- Interim Report
    of the Calculemus IHP Network},
  year = {2003},
  editor = {Christoph Benzm{\"u}ller},
  number = {SR--03--05},
  series = {Seki-Report SR},
  organization = {Dep. of Computer Science, Saarland University, Saarbr{\"u}cken, Germany},
  type = {SEKI report}}

@PROCEEDINGS{TPHOL99,
  title = {Theorem Proving in Higher Order Logics: TPHOLs'99},
  year = {1999},
  editor = {Yves Bertot and Gilles Dowek and Andr{\'e} Hirschowitz and Christine
    Paulin and Laurent Th{\'e}ry},
  number = {1690},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'99},
  key = {TPHOLS1999}}

@PROCEEDINGS{TLCA93,
  title = {Proceedings International Conference on Typed Lambda Calculi and
    Applications},
  year = {1993},
  editor = {M. A. Bezem and Jan Friso Groote},
  publisher = {Springer},
  series = {LNCS},
  number = {664},
  booktitle = {Proceedings International Conference on Typed Lambda Calculi and
    Applications},
  keywords = {conference},
  key = {TLCA1993}}

@Proceedings{kr92,
  key = "KR-92",
  title = 	"Principles of Knowledge
		  Representation and Reasoning: Proceedings of the
		  3rd International Conference (KR-92)",
  booktitle = 	"Principles of Knowledge
		  Representation and Reasoning: Proceedings of the
		  3rd International Conference (KR-92)",
  year = 	1992,
  editor = 	"Nebel, B. and W. Swartout and C. Rich",
  publisher = 	kauf,
  address = 	"Cambridge, MA",
  month = 	Oct
}

@Proceedings{ECML06,
  editor =       "Johannes F{\"u}rnkranz and Tobias Scheffer and
                  Myra Spiliopoulou",
  title =        "Proceedings of the 17th European Conference on Machine
                  Learning (ECML 2006)",
  booktitle =    "Proceedings of the 17th European Conference on Machine
                  Learning (ECML 2006)",
  publisher =    "Springer-Verlag",
  series =       {LNCS},
  volume =       "4212",
  year =         "2006"
}

@BOOK{BibSch:adabfa98,
  publisher = {Kluwer},
  year = {1998},
  editor = {Wolfgang Bibel and Peter Schmitt},
  booktitle = {Automated Deduction -- A Basis for Applications}}

@PROCEEDINGS{CeurWS181,
  booktitle = {Proc.\ of 2\textsuperscript{nd} Workshop on Scripting for the Semantic Web at ESWC},
  venue = {Budva, Montenegro},
  eventdate = {2006},
  year = {2006},
  editor = {Chris Bizer and S{\"o}ren Auer and Libby Miller},
  number = {181},
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-181}}

@PROCEEDINGS{CADE15-WS-Integration,
  title = {CADE-15 Workshop ``Integration of Deduction Systems''},
  year = {1998},
  editor = {Nikolaj Bjorner and Reiner H{\"a}hnle and Wolfram Menzel and Wolfgang
    Reif and Peter H. Schmitt},
  booktitle = {CADE-15 Workshop ``Integration of Deduction Systems''}}

@PROCEEDINGS{RTA91,
  year = {1991},
  editor = {Ronald V. Book},
  number = {488},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the $4^{th}$ International Conference on Rewriting
    Techniques and Applications},
  keywords = {conference},
  key = {RTA1991}}

@PROCEEDINGS{MKM06,
  title = {MKM 2006},
  year = {2006},
  editor = {Jon Borwein and William M. Farmer},
  number = {4108},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Mathematical Knowledge Management ({MKM})}}

@PROCEEDINGS{MACIS15,
  title = {MACIS 2015},
  year = 2016,
  editor    = {Ilias S. Kotsireas and Siegfried M. Rump and Chee K. Yap},
  number = {9582},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {MACIS 2015: Sixth International Conference on Mathematical Aspects of Computer and Information Sciences},
  keywords = {conference}}

@PROCEEDINGS{MACIS17,
  title = {MACIS 2017},
  year = 2017,
  editor    = {Johannes Bl{\"o}mer and Temur Kutsia and Dimitris Simos},
  number = {10693},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences},
  Keywords = {conference}}

@PROCEEDINGS{MKM07,
  title = {{MKM/Calculemus}},
  booktitle = {Towards Mechanized Mathematical Assistants. {MKM/Calculemus}},
  year = {2007},
  isbn = {978-3-540-73083-5},
  editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
  number = {4573},
  series = {LNAI},
  keywords = {conference},
  publisher = {Springer Verlag}}

@PROCEEDINGS{CICM08,
  title = {Intelligent Computer Mathematics},
  booktitle = {Intelligent Computer Mathematics},
  eventtitle = {9\textsuperscript{th} International Conference, AISC, 15\textsuperscript{th} Symposium, Calculemus, 7\textsuperscript{th} International Conference MKM},
  venue = {Birmingham, UK},
  eventdate = {2008-07-28/2008-08-01},
  key = {CICM08},
  year = {2008},
  editor = {Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek},
  number = {5144},
  series = {LNAI},
  keywords = {conference},
  publisher = {Springer Verlag}}

@PROCEEDINGS{WSREST2011,
  title = {Proceedings of the Second International Workshop on RESTful Design},
  key = {WSREST2011},
  year = {2011},
  editor =       {Cesare Pautasso and Erik Wilde and Rosa Alarcon},
  publisher = {ACM},
  keywords = {workshop},
  isbn = { 9781605589596},
  booktitle = {{Proceedings of the Second International Workshop on RESTful Design}}
}

@PROCEEDINGS{CICM10,
  title = {Intelligent Computer Mathematics},
  NOlabel = {CICM10},
  NOkey = {CICM10},
  year = {2010},
  editor =       {Serge Autexier and Jacques Calmet and David Delahaye and Patrick D. F. Ion and Laurence Rideau and Renaud Rioboo and Alan P. Sexton},
  number = {6167},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  isbn = {3642141277},
  booktitle = {{Intelligent Computer Mathematics}}}

@PROCEEDINGS{CICM12,
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics}},
  NOlabel = {CICM12},
  NOkey = {CICM12},
  year = {2012},
  %venue = {Bremen, Germany},
  %eventdate = {2012-07-09/2012-07-14},
  eventtitle = {Conferences on Intelligent Computer Mathematics ({CICM})},
  %editor = {Johan Jeuring and John A. Campbell and Jacques Carette and Dos Reis, Gabriel and Petr Sojka and Makarius Wenzel and Volker Sorge},
  number = {7362},
  series = {LNAI},
  %isbn = {978-3-642-31373-8},
  %publisher = {Springer Verlag},
  %location = {Berlin and Heidelberg},
  acceptancerate = {73},
  acceptancerateCOMMENT = {MKM: 13/19, Calculemus: 6/9, AISC: 6/8, DML: 2/3, S&P: 11/12},
  keywords = {conference}}

@proceedings{CICM14,
  editor = {Stephan Watt and James Davenport and Alan Sexton and Petr Sojka and Josef Urban},
  venue = {Coimbra, Portugal},
  eventdate = {2014-07-07/2014-07-11},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} 2014},
  NOkey = {CICM14},
  NOlabel = {CICM14},
  keywords = {conference},
  publisher = {Springer},
  series    = {LNCS},
  number    = {8543},
  isbn = {978-3-319-08433-6},
  year = 2014,
  acceptancerate = {64},
  acceptancerateCOMMENT = {MKM/Calculemus/DML: 26/41, S&P: 9/14, overall: 35/55},
}

@proceedings{CICM15,
  editor = {Manfred Kerber and Jacques Carette and Cezary Kaliszyk and Florian Rabe and Volker Sorge},
  venue = {Washington DC, USA},
  eventdate = {2015-07-13/2015-07-17},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} 2015},
  NOkey = {CICM15},
  NOlabel = {CICM15},
  keywords = {conference},
  publisher = {Springer},
  series    = {LNCS},
  number    = {9150},
  isbn = {978-3-319-20615-8},
  year = 2015
}

@PROCEEDINGS{CALCULEMUS10,
  key = {CALCULEMUS 2010},
  year = {2010},
  booktitle = {CALCULEMUS},
  title = {CALCULEMUS}}

@PROCEEDINGS{CALCULEMUS10-ET,
  year = {2010},
  booktitle = {CALCULEMUS (Emerging Trends)},
  title = {CALCULEMUS (Emerging Trends)},
  editor = {David Delahaye and Renaud Rioboo},
  url = {http://cicm2010.cnam.fr/calculemus/trends/calculemus2010-trends.pdf},
  publisher = {Centre d'{\'E}tude et de Recherche en Informatique du {CNAM} (C{\'e}dric)},
  location = {Paris}
}

@PROCEEDINGS{MKM09,
  year = {2009},
  month = jul,
  booktitle = {{MKM/{\-}Cal{\-}cu{\-}le{\-}mus} Proceedings},
  title = {{MKM/{\-}Cal{\-}cu{\-}le{\-}mus} Proceedings},
  editor = {Jacques Carette and Lucas Dixon and Sacerdoti Coen, Claudio and Stephen M. Watt},
  number = {5625},
  series = {LNAI},
  keywords = {conference},
  isbn = {978-3-642-02613-3},
  publisher = {Springer Verlag}}

@PROCEEDINGS{ICOS03,
  title = {ICoS-4. Inference in Computational Semantics. Workshop Proceedings},
  year = {2003},
  editor = {Patrick Blackburn and Johan Bos},
  booktitle = {Proceedings of Inference in Computational Semantics ICoS-4},
  publisher = {LORIA, Nancy}}

@PROCEEDINGS{ITS2000-W1,
  title = {Proceedings of the Fifth International Conference on Intelligent
    Tutoring Systems---Workshop W1: Modeling Human Teaching Tactics and
    Strategies},
  year = {2000},
  editor = {Ben du Boulay},
  address = {Montr{\'e}al, Canada},
  keywords = {conference},
  key = {ITS2000-W1}}

@PROCEEDINGS{TPHOL01,
  title = {Theorem Proving in Higher Order Logics: TPHOLs'01},
  year = {2001},
  editor = {Richard. J. Boulton and Paul B. Jackson},
  number = {2152},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'01},
  keywords = {conference},
  key = {TPHOLS2001}}

@PROCEEDINGS{BradyBerwick:cmod84,
  title = {Computational Models of Discourse},
  year = {1984},
  editor = {Brady, Michael and Berwick, Robert C.},
  address = {Cambridge, Massachusetts/London},
  publisher = {The M. I. T. Press}}

@PROCEEDINGS{KI97,
  title = {Proceedings of the 18.th Annual German Conference on Artificial Intelligence
    KI'97},
  year = {1997},
  editor = {Gerd Brewka and Cristopher Habel and Bernhard Nebel},
  number = {1303},
  series = {LNAI},
  address = {Freiburg, Germany},
  keywords = {conference},
  booktitle = {Proceedings of the 18.th Annual German Conference on Artificial Intelligence
    KI'97}}

@PROCEEDINGS{CADE94,
  title = {Proceedings of the 12\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  year = {1994},
  editor = {Alan Bundy},
  number = {814},
  series = {LNAI},
  address = {Nancy, France},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 12\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  keywords = {conference},
  key = {CADE1994}}

@PROCEEDINGS{IJCAI83,
  year = {1983},
  editor = {Alan Bundy},
  publisher = {Morgan Kaufmann, San Mateo, California, USA},
  booktitle = {Proceedings of the 8\textsuperscript{th} {International} {Joint} {Conference} on {Artificial}
    {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1983}}

@PROCEEDINGS{FTP98,
  title = {Automated Deduction in Classical and Non-Classical Logics ({FTP'98})},
  year = {1998},
  editor = {Caferra, R. and Salzer, G.},
  series = {LNAI},
  number =  {1761},
  publisher = {Springer Verlag},
  booktitle = {Automated Deduction in Classical and Non-Classical Logics ({FTP'98})},
  keywords = {conference},
  key = {FTP1998}}

@PROCEEDINGS{AISMC94,
  title = {Integrating Symbolic Mathematical Computation and Artificial Intelligence;
    Proceedings of the second International Conference; Selected Papers},
  year = {1995},
  editor = {J. Calmet and J. A. Campbell},
  number = {958},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence;
    Proceedings of the second International Conference; Selected Papers}}

@PROCEEDINGS{AISMC92,
  title = {Integrating Symbolic Mathematical Computation and Artificial Intelligence},
  year = {1993},
  editor = {J. Calmet and J. A. Campbell},
  number = {737},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence}}

@PROCEEDINGS{DISCO96,
  title = {Design and Implementation of Symbolic Computation Systems, DISCO'96},
  year = {1996},
  editor = {Jacques Calmet and Carla Limogelli},
  number = {1128},
  series = {LNCS},
  address = {Karlsruhe, Germany},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Design and Implementation of Symbolic Computation Systems, DISCO'96}}

@PROCEEDINGS{DaleEtAl:aoanlg92,
  title = {Aspects of Automated Natural Language Generation},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R{\"o}sner and Oliviero Stock},
  number = {587},
  series = {LNAI},
  keywords = {conference},
  publisher = {Springer Verlag}}

@PROCEEDINGS{DaleEtAl:crinlg90,
  title = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  number = {4},
  series = {Cognitive Science Series},
  address = {San Diego, CA},
  keywords = {conference},
  publisher = {Academic Press}}

@PROCEEDINGS{RTA89,
  title = {Proceedings of the $3^{rd}$ International Conference of Rewriting
    Techniques and Applications},
  year = {1989},
  editor = {Nachum Dershowitz},
  number = {355},
  series = {LNCS},
  keywords = {conference},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the $3^{rd}$ International Conference of Rewriting
    Techniques and Applications},
  key = {RTA1989}}

@PROCEEDINGS{TLCA95,
  title = {Typed Lambda Calculi and Applications},
  year = {1995},
  editor = {Mariangiola Dezani-Ciancaglini and Gordon Plotkin},
  number = {902},
  series = {LNCS},
  keywords = {conference},
  publisher = {Springer Verlag}}

@PROCEEDINGS{IJCAI81,
  year = {1981},
  editor = {Ann Drinan},
  address = {Vancouver, Canada},
  publisher = {Morgan Kaufmann, San Mateo, California, USA},
  booktitle = {Proceedings of the 7\textsuperscript{th} International Joint Conference on Artificial
    Intelligence ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1981}}

@PROCEEDINGS{PTP01,
  title = {Proceedings of the Workshop on Proof Transformation, Proof Presentations
    and Complexity of Proofs ({PTP-01})},
  year = {2001},
  editor = {Egly, Uwe and Fiedler, Armin and Horacek, Helmut and Schmitt, Stephan},
  publisher = {Universit{\'a} degli studi di Siena},
  booktitle = {Proceedings of the Workshop on Proof Transformation, Proof Presentations
    and Complexity of Proofs ({PTP-01})}}

@PROCEEDINGS{JELIA90,
  year = {1990},
  editor = {Jan van Eijck},
  number = {478},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Logics in AI. European Workshop JELIA '90, Amsterdam},
  keywords = {conference},
  key = {JELIA1990}}

@PROCEEDINGS{ECAI02-ONTO,
  title = {Proceedings of the ECAI 2002 Workshop on Ontologies and Semantic
    Interoperability},
  year = {2002},
  editor = {J{\'e}r{\^o}me Euzenat and Asuncion G{\'o}mez P{\'e}rez and Nicola
    Guarino and Heiner Stuckenschmidt},
  address = {Lyon France }}

@PROCEEDINGS{Fox-00-a,
  title = {Workshop on analysing and exploiting domain knowledge for efficient
    planning},
  year = {2000},
  editor = {Foc, M.},
  publisher = {AAAI Press}}

@PROCEEDINGS{FTP97,
  title = {Proceedings of the International Workshop on First order Theorem
    Proving},
  year = {1997},
  editor = {Ulrich Furbach and Maria Paola Bonacina},
  number = {97-50},
  series = {RISC-Linz Report Series},
  publisher = {Johannes Kepler Universit{\"a}t Linz},
  booktitle = {Proceedings of the International Workshop on First order Theorem
    Proving},
  key = {FTP1998}}

@BOOK{GaGu:hopl84,
  title = {Handbook of Philosophical Logic},
  publisher = {D. Reidel},
  year = {1984},
  editor = {Dov Gabbay and F. Guenthner}}

@BOOK{gabb:hand83,
  title = {Handbook of {Philosophical} {Logic}},
  publisher = {Reidel},
  year = {1983},
  editor = {Gabbay, D. and Guenthner, F.},
  address = {Dordrecht}}

@PROCEEDINGS{CADE99,
  title = {Automated Deduction --- {CADE}-16},
  year = {1999},
  editor = {Harald Ganzinger},
  number = {1632},
  series = {LNAI},
  keywords = {conference},
  publisher = {Springer Verlag},
  booktitle = {Automated Deduction --- {CADE}-16},
  key = {CADE1999}}

@PROCEEDINGS{RTA96,
  title = {Proceedings of the $7^{th}$ International Consference on Rewriting
    Techniques and Applications},
  year = {1996},
  editor = {Harald Ganzinger},
  number = {1103},
  series = {LNCS},
  keywords = {conference},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the $7^{th}$ International Consference on Rewriting
    Techniques and Applications},
  key = {RTA1996}}

@PROCEEDINGS{PPAI97,
  title = {Parallel Processing for Artificial Intelligence},
  year = {1997},
  editor = {J. Geller and H. Kitano and C. Suttner},
  volume = {3},
  publisher = {Elsevier/North Holland},
  keywords = {conference},
  booktitle = {Parallel Processing for Artificial Intelligence},
  key = {PPAI1997}}

@PROCEEDINGS{iswc2005,
  title = {The Semantic Web},
  booktitle = {The Semantic Web},
  eventtitle = {4\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  venue = {Galway, Ireland},
  eventdate = {2005-11-06/2005-11-10},
  year = {2005},
  editor = {Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen},
  number = {3729},
  series = {LNCS},
  keywords = {conference},
  publisher = {Springer},
  isbn = {3-540-29754-5}}

@Proceedings{iswc2006,
  title = {5\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  booktitle = {5\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  year = 	 {2006},
  editor = {Isabel F. Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Michael Uschold and Lora Aroyo},
  number = {4273},
  series = {LNCS},
  keywords = {conference},
  publisher = {Springer Verlag},
  isbn = {3-540-49029-9}}

@Proceedings{iswc2007,
  editor    = {Karl Aberer and
               Key-Sun Choi and
               Natasha Fridman Noy and
               Dean Allemang and
               Kyung-Il Lee and
               Lyndon J. B. Nixon and
               Jennifer Golbeck and
               Peter Mika and
               Diana Maynard and
               Riichiro Mizoguchi and
               Guus Schreiber and
               Philippe Cudr{\'e}-Mauroux},
  title     = {The Semantic Web},
  eventtitle = {6\textsuperscript{th} International Semantic Web Conference,
               2\textsuperscript{nd} Asian Semantic Web Conference, ISWC 2007 + ASWC 2007},
  venue = {Busan, Korea},
  eventdate = {2007-11-11/2007-11-15},
  booktitle = {ISWC/ASWC},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number    = {4825},
  year      = {2007},
  keywords = {conference},
  isbn      = {978-3-540-76297-3}}

@PROCEEDINGS{AIMSA98,
  title = {Proceedings of the of the 8\textsuperscript{th} International Conference AIMSA'98},
  year = {1998},
  editor = {Fausto Giunchiglia},
  number = {1480},
  series = {LNAI},
  address = {Sozopol, Bulgaria},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Artificial Intelligence: Methodology, Systems and Applications}}

@PROCEEDINGS{IJCAR01,
  title = {Automated Reasoning --- 1\textsuperscript{st} International Joint Conference, IJCAR  2001},
  booktitle = {Automated Reasoning --- 1\textsuperscript{st} International Joint Conference, IJCAR  2001},
  year = {2001},
  editor = {Rajeev Gor{\'e} and Alexander Leitsch and Tobias Nipkow},
  number = {2083},
  series = {LNAI},
  address = {Siena, \ITALY},
  publisher = {Springer Verlag},
  keywords = {conference},
  key = {IJCAR2001}}

@PROCEEDINGS{IJCAR06,
  title = {Automated Reasoning --- Third International Joint Conference, IJCAR 2006},
  booktitle = {Automated Reasoning --- Third International Joint Conference, IJCAR 2006},
  year = {2006},
  editor = {Furbach, Ulrich and Shankar, Natarajan},
  number = {4130},
  series = {LNAI},
  address = {Seattle, USA},
  publisher = {Springer Verlag},
  keywords = {conference},
  key = {IJCAR2006}}

@PROCEEDINGS{KGC93,
  year = {1993},
  editor = {Georg Gottlob and Alexander Leitsch and Danielle Mundici},
  number = {714},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {3\textsuperscript{rd} Kurt G{\"o}del Colloquium KGC'93},
  key = {KGC1993}}

@PROCEEDINGS{TPHOL98,
  title = {Theorem Proving in Higher Order Logics: Emerging Trends},
  year = {1998},
  editor = {Jim Grundy and Malcolm Newey},
  series = {Technical Report 98-08, Department of Computer Science and Computer
    Science Lab},
  address = {Canberra, Australia},
  publisher = {The Australian National University},
  month = oct,
  bibtype = {PROCEEDINGS},
  booktitle = {Theorem Proving in Higher Order Logics: Emerging Trends},
  key = {TPHOLS1998}}

@PROCEEDINGS{TPHOL97,
  title = {Theorem Proving in Higher Order Logics: TPHOLs'97},
  year = {1997},
  editor = {Elsa L. Gunter and Amy Felty},
  number = {1275},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'97},
  keywords = {conference},
  key = {TPHOLS1997}}

@PROCEEDINGS{AISB87,
  title = {Advances in Artificial Intelligence, AISB-87},
  year = {1987},
  editor = {J. Hallam and C. Mellish},
  publisher = {Wiley},
  booktitle = {Advances in Artificial Intelligence, AISB-87},
  pages = {125--139}}

@PROCEEDINGS{KI03-ITL,
  title = {Proceedings of the KI-03 Workshop on Expressive Media and Intelligent
    Tools for Learning},
  year = {2003},
  editor = {Andreas Harrer and Katrin Ga{\ss}ner},
  address = {Hamburg\GERMANY}}

@BOOK{Heijenoort67,
  title = {From Frege to G{\"o}del: a source book in mathematical logic 1879-1931},
  publisher = {Harvard Univ. Press},
  year = {1967},
  author = {van Heijenoort, Jean},
  series = {Source books in the history of the sciences series},
  address = {Cambridge, MA},
  edition = {3\textsuperscript{rd} printing, 1997},
  bibtype = {BOOK},
  isbn = {0-674-32450-1}}

@PROCEEDINGS{ECAI-RMK96,
  title = {Proceedings of the ECAI Workshop on Representation ofMathematical
    Knowledge},
  year = {1996},
  editor = {Herbert Stoyan Karsten Homann and Sabine Jakob and Manfred Kerber},
  address = {Budapest, Hungary},
  booktitle = {Proceedings of the ECAI Workshop on Representation ofMathematical
    Knowledge}}

@PROCEEDINGS{ECAI00,
  title = {Proceedings of of the 14\textsuperscript{th} European Conference on Artifical Intelligence},
  year = {2000},
  editor = {Werner Horn},
  address = {Brighton, UK},
  publisher = {John Wiley \& Sons, Chichester, UK},
  keywords = {conference},
  booktitle = {Proceedings of of the 14\textsuperscript{th} European Conference on Artifical Intelligence},
  key = {ECAI2000}}

@proceedings{ECAI08,
  editor    = {Malik Ghallab and
               Constantine D. Spyropoulos and
               Nikos Fakotakis and
               Nikolaos M. Avouris},
  title     = {ECAI 2008 -- 18\textsuperscript{th} European Conference on Artificial Intelligence,
               Patras, Greece, July 21-25, 2008, Proceedings},
  booktitle = {ECAI},
  publisher = {IOS Press},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {178},
  year      = {2008},
  isbn      = {978-1-58603-891-5},
  keywords = {conference},
  url        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=9905}}

@PROCEEDINGS{AAAI-WSTPR88,
  title = {Proceedings of the AAAI Workshop on Text Planning and Realization},
  year = {1988},
  editor = {E. Hovy and D. McDonald and S. Young},
  address = {St. Paul, MN, USA}}

@PROCEEDINGS{RTA95,
  year = {1995},
  editor = {Jieh Hsiang},
  number = {914},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the $6^{th}$ International Consference on Rewriting
    Techniques and Applications},
  keywords = {conference},
  key = {RTA1995}}

@PROCEEDINGS{FASE01,
  title = {Fundamental Approaches to Software Engineering ({FASE 2001})},
  booktitle = {Fundamental Approaches to Software Engineering ({FASE 2001})},
  year = {2001},
  editor = {H. Hu{\ss}mann},
  number = {2029},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  key = {FASE01}}

@PROCEEDINGS{AISC06,
  title = {Proceedings of Artificial Intelligence and Symbolic Computation,
    {AISC}'2006},
  year = {2006},
  editor = {Tetsuo Ida and Jacques Calmet and Dongming Wang},
  number = {4120},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Proceedings of Artificial Intelligence and Symbolic Computation,
    {AISC}'2006}}

@PROCEEDINGS{TACS91,
  year = {1991},
  editor = {T. Ito and A. R. Meyer},
  number = {526},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Theoretical Aspects of Computer Science},
  keywords = {conference},
  key = {TACS1991}}

@PROCEEDINGS{lit2005,
  title = {{Marktplatz Internet: von E-Learning bis E-Payment, 13. Leipziger
    Informatik-Tage, LIT 2005, 21.-23. September 2005, Leipzig}},
  year = {2005},
  editor = {Klaus P. Jantke and Klaus-Peter F{\"a}hnrich and Wolfgang S. Wittig},
  volume = {72},
  series = {LNI},
  publisher = {GI},
  booktitle = {Leipziger Informatik-Tage},
  isbn = {3-88579-401-2}}

@PROCEEDINGS{IJCAI85,
  year = {1985},
  editor = {Aravind Joshi},
  address = {Los Angeles, Ca, USA},
  publisher = {Morgan Kaufmann},
  booktitle = {Proceedings of the 9\textsuperscript{th} {International} {Joint} {Conference} on {Artificial}
    {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1985}}

@PROCEEDINGS{RTA85,
  year = {1985},
  editor = {Jean-Pierre Jouannaud},
  number = {202},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the first International Consference on Rewriting Techniques
    and Applications},
  keywords = {conference},
  key = {RTA1985}}

@PROCEEDINGS{WADE79,
  year = {1979},
  editor = {William H. Joyner},
  address = {Austin, Texas, USA},
  booktitle = {Proceedings of the 4\textsuperscript{th} Workshop on Automated Deduction},
  key = {WADE1979}}

@PROCEEDINGS{IJCAI03-onto,
  title = {Proceedings of the IJCAI 03 Workshop on Knowledge and Reasoning in
    Practical Dialogue Systems},
  year = {2003},
  editor = {Arne J{\"o}nsson and Jan Alexandersson and Tilman Becker and Kristiina
    Jokinen and Magnus Merkel},
  address = {Acapulco, \MEXICO}}

@PROCEEDINGS{SDT84,
  year = {1984},
  editor = {G. Kahn and D. G. MacQueen, G. Plotkin},
  number = {173},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Semantics of Data Types},
  keywords = {conference},
  key = {SDT1984}}

@PROCEEDINGS{CTRS88,
  year = {1988},
  editor = { Stephane Kaplan and Jean-Pierre Jouannaud},
  number = {308},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 1\textsuperscript{st} International Workshop on Conditional Term
    Rewriting Systems, Orsay, France},
  key = {CTRS1988}}

@PROCEEDINGS{CTRS91,
  year = {1991},
  editor = {Stephane Kaplan and Mitsuhiro Okada},
  number = {516},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 2\textsuperscript{nd} International Workshop on Conditional Term
    Rewriting Systems, Montreal, Canada},
  key = {CTRS1991}}

@PROCEEDINGS{CADE92,
  title = {Proceedings of the 11\textsuperscript{th} Conference on Automated Deduction},
  year = {1992},
  editor = {D. Kapur},
  number = {607},
  series = {LNCS},
  address = {Saratoga Springs, NY, USA},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 11\textsuperscript{th} Conference on Automated Deduction},
  keywords = {conference},
  key = {CADE1992}}

@PROCEEDINGS{CALCULEMUS02,
  title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation
    --- Joint International Conference, AISC 2002 and Calculemus 2002},
  year = {2002},
  editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent
    Henocque and Volker Sorge},
  number = {2385},
  series = {LNAI},
  address = {Marseille, France},
  publisher = {Springer},
  keywords = {conference},
  booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation
    --- Joint International Conference, AISC 2002 and Calculemus 2002}}

@PROCEEDINGS{CALCULEMUS01,
  booktitle = {Proceedings of the Calculemus 2001 Symposium},
  title = {Proceedings of the Calculemus 2001 Symposium},
  year = {2001},
  editor = {S. Linton and R. Sebastiani},
  address = {Siena, Italy}}

@PROCEEDINGS{RTA93,
  year = {1993},
  editor = {Claude Kirchner},
  number = {690},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the $5^{th}$ International Consference on Rewriting
    Techniques and Applications},
  keywords = {conference},
  key = {RTA1993}}

@PROCEEDINGS{CADE98,
  title = {Proceedings of the 15\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  year = {1998},
  editor = {Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
  number = {1421},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 15\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  keywords = {conference},
  key = {CADE1998}}

@PROCEEDINGS{AMAST02,
  title = {Algebraic Methodology and Software Technology --- 9\textsuperscript{th} International
    Conference AMAST 2002},
  year = {2002},
  editor = {Kirchner, H{\'e}l{\`e}ne and Ringeissen, Christophe},
  number = {2422},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Algebraic Methodology and Software Technology --- 9\textsuperscript{th} International
    Conference AMAST 2002}}

@PROCEEDINGS{LICS95,
  title = {Proceedings of the 10\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-10})},
  year = {1995},
  editor = {Dexter Kozen},
  address = {San Diego, California},
  publisher = {IEEE Computer Society Press},
  month = jun,
  booktitle = {Proceedings of the 10\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-10})},
  keywords = {conference},
  key = {LICS1995}}

@PROCEEDINGS{DIABRUCK03,
  title = {DiaBruck---7\textsuperscript{th} Workshop on the Semantics and Pragmatics of Dialogue},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov{\'a} and Claudia Kosny},
  address = {Saarbr{\"u}cken\GERMANY},
  organization = {Universit{\"a}t des Saarlandes},
  booktitle = {DiaBruck---7\textsuperscript{th} Workshop on the Semantics and Pragmatics of Dialogue}}

@PROCEEDINGS{BIDIALOG01,
  title = {Proceedings of the 5\textsuperscript{th} Workshop on Formal Semantics and Pragmatics
    of Dialog (BI-DIALOG 2001)},
  year = {2001},
  editor = {P. K{\"u}hnlein and H. Rieser and H. Zeevat},
  address = {Bielefeld\GERMANY},
  key = {BIDIALOG2001}}

@PROCEEDINGS{AIED99,
  title = {Artificial Intelligence in Education},
  year = {1999},
  editor = {Susanne P. Lajoie and Martial Vivet},
  volume = {50},
  series = {Frontiers in Artificial Intelligence and Applications},
  keywords = {conference},
  publisher = {IOS Press}}

@PROCEEDINGS{RTA87,
  year = {1987},
  editor = {Pierre Lescanne},
  number = {256},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the second International Conference of Rewriting Techniques
    and Applications},
  keywords = {conference},
  key = {RTA1987}}

@PROCEEDINGS{AISC00,
  year = {2001},
  editor = {Eugenio Roanes Lozano},
  number = {1930},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Proceedings of Artificial Intelligence and Symbolic Computation,
    AISC'2000}}

@PROCEEDINGS{CADE88,
  title = {Proceedings of the 9\textsuperscript{th} Conference on Automated Deduction},
  year = {1988},
  editor = {Ewing L. Lusk and Ross A. Overbeek},
  number = {310},
  series = {LNCS},
  address = {Argonne, Illinois, USA},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Proceedings of the 9\textsuperscript{th} Conference on Automated Deduction},
  key = {CADE1988}}

@PROCEEDINGS{JICSLP98,
  title = {Proceedings of the Joint International Conference and Symposium on
    Logic Programming},
  year = {1996},
  editor = {M. Maher},
  address = {Bonn, Germany},
  publisher = {MIT Press},
  keywords = {conference},
  booktitle = {Proceedings of the Joint International Conference and Symposium on
    Logic Programming}}

@PROCEEDINGS{ILPS97,
  title = {Logic Programming -- Proceedings of the 1997 International Symposium},
  year = {1997},
  editor = {Jan Maluszynski},
  address = {Port Jefferson, New York},
  publisher = {The MIT Press},
  keywords = {conference},
  booktitle = {Logic Programming -- Proceedings of the 1997 International Symposium}}

@PROCEEDINGS{CADE00,
  title = {{Automated} {Deduction} -- CADE-17},
  year = {2000},
  editor = {David McAllester},
  number = {1831},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {{Automated} {Deduction} -- CADE-17},
  keywords = {conference},
  key = {CADE00}}

@PROCEEDINGS{CADE97,
  title = {Proceedings of the 14\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  year = {1997},
  editor = {William McCune},
  number = {1249},
  series = {LNAI},
  address = {Townsville, Australia},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 14\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  keywords = {conference},
  key = {CADE1997}}

@PROCEEDINGS{INLG90,
  title = {Proceedings of the 5\textsuperscript{th} International Natural Language Generation
    Workshop},
  year = {1990},
  editor = {K. R. McKeown and J. D. Moore and S. Nirenburg},
  address = {Dawson, PA},
  booktitle = {Proceedings of the 5\textsuperscript{th} International Natural Language Generation
    Workshop},
  key = {INLG1990}}

@PROCEEDINGS{CADE96,
  title = {Proceedings of the 13\textsuperscript{th} Conference on Automated Deduction},
  year = {1996},
  editor = {M. A. McRobbie and J. K. Slaney},
  number = {1104},
  series = {LNAI},
  address = {New Brunswick, NJ, USA},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 13\textsuperscript{th} Conference on Automated Deduction},
  keywords = {conference},
  key = {CADE1996}}

@PROCEEDINGS{WOSE-2004,
  key = {WOSE2004},
  title = {On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops},
  booktitle = {On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops},
  year = {2004},
  editor = {Robert Meersman and Zahir Tari and Angelo Corsaro and others},
  number = {3292},
  series = {LNCS},
  publisher = {Springer Verlag}}

@PROCEEDINGS{CADE00-W4,
  title = {\PROC of 17\textsuperscript{th} International Conference on Automated Deduction---Workshop
    W4: Automated Deduction in Education},
  year = {2000},
  editor = {Erica Melis and Dana Scott},
  address = {Pittsburgh, PA\USA},
  keywords = {conference},
  key = {CADE2000-W4}}

@PROCEEDINGS{IJCAI95,
  year = {1995},
  editor = {Chris S. Mellish},
  address = {Montreal, Canada},
  publisher = {Morgan Kaufmann, San Mateo, CA},
  booktitle = {Proceedings of the 14\textsuperscript{th} {International} {Joint} {Conference} on {Artificial}
    {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1995}}

@PROCEEDINGS{ISEMANTICS2010,
  year = {2010},
  editor = {Adrian Paschke and Nicola Henze and Tassilo Pellegrini and Hans Weigand},
  publisher = {ACM},
  title = {6\textsuperscript{th} International Conference on Semantic Systems ({I-Semantics}) and the 5\textsuperscript{th} International Conference on Pragmatic Web},
  booktitle = {Proceedings of the 6\textsuperscript{th} International Conference on Semantic Systems ({I-Semantics}) and the 5\textsuperscript{th} International Conference on Pragmatic Web},
  keywords = {conference},
  isbn = {978-1-4503-0014-8},
  url = {http://portal.acm.org/citation.cfm?id=1839707},
  key = {ISEMANTICS 2010},
  acceptancerate = {42},
  acceptancerateCOMMENT = {according to Rapha{\"e}l Troncy, \url{http://www.eurecom.fr/~troncy/Publications/index.html}}}

@PROCEEDINGS{UITP96,
  title = {User Interfaces for Theorem Provers},
  year = {1996},
  editor = {Nicholas A. Merriam},
  address = {Department of Computer Science, University of York, UK},
  booktitle = {User Interfaces for Theorem Provers},
  key = {UITP1996}}

@PROCEEDINGS{GWAI89,
  title = {Proceedings of the of 13\textsuperscript{th} GWAI},
  year = {1989},
  editor = {Dieter Metzing},
  number = {216},
  series = {Informatik-Fachberichte},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the of 13\textsuperscript{th} GWAI}}

@PROCEEDINGS{ICOS99,
  title = {Proceedings of Inference in Computational Semantics ICoS-1},
  year = {1999},
  editor = {Christof Monz and Maarten de Rijke},
  address = {Amsterdam},
  publisher = {ILLC},
  booktitle = {Proceedings of Inference in Computational Semantics ICoS-1}}

@PROCEEDINGS{AIED01,
  title = {Artificial Intelligence in Education},
  booktitle = {Artificial Intelligence in Education},
  year = {2001},
  editor = {Johanna D. Moore and Carol Luckhard Redfield and W. Lewis Johnson},
  volume = {68},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press}}

@PROCEEDINGS{TABLEAUX96,
  title = {Theorem Proving with Analytic Tableaux and Related Methods},
  year = {1996},
  editor = {P. Moscato and U. Moscato and D. Mundici and M. Ornaghi},
  number = {1071},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Theorem Proving with Analytic Tableaux and Related Methods}}

@PROCEEDINGS{TABLEAUX99,
  title = {Automated Reasoning with Analytic Tableaux and Related Methods},
  year = {1999},
  editor = {Neil Murray},
  number = {1617},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}}

@PROCEEDINGS{IJCAI91,
  year = {1991},
  editor = {John Mylopoulos and Ray Reiter},
  address = {Sydney, Australia},
  publisher = {Morgan Kaufmann, San Mateo, CA},
  booktitle = {Proceedings of the 12\textsuperscript{th} International Joint Conference on Artificial
    Intelligence ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1991}}

@PROCEEDINGS{IJCAI01,
  year = {2001},
  editor = {Bernhard Nebel},
  address = {Seattle, WA\USA},
  publisher = {Morgan Kaufmann},
  booktitle = {Proceedings of the 17\textsuperscript{th} {International} {Joint} {Conference} on {Artificial}
    {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI2001}}

@PROCEEDINGS{KI94,
  title = {18\textsuperscript{th} Annual German Conference on Aritificial Intelligence},
  year = {1994},
  editor = {Bernhard Nebel and Leonie Dreschler-Fischer},
  number = {861},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {18\textsuperscript{th} Annual German Conference on Aritificial Intelligence},
  keywords = {conference},
  key = {KI1994}}

@proceedings{ki11,
  editor    = {Joscha Bach and Stefan Edelkamp},
  title     = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
  booktitle     = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7006},
  year      = {2011},
}

@Proceedings{aips00,
  key = 	 "AIPS-00",
  title = 	 "Proceedings of the 5th International Conference on
                  Artificial Intelligence Planning Systems (AIPS'00)",
  booktitle = 	 "Proceedings of the 5th International Conference on
                  Artificial Intelligence Planning Systems (AIPS'00)",
  year = 	 2000,
  editor =	 "S. Chien and R. Kambhampati and C. Knoblock",
  publisher =    "{AAAI} Press, Menlo Park",
  address = 	 "Breckenridge, CO"}

@Proceedings{ecp99,
  title = 	 {Proceedings of the 5th European
                  Conference on Planning (ECP'99)},
  booktitle = 	 {Proceedings of the 5th European
                  Conference on Planning (ECP'99)},
  year = 	 {1999},
  editor =	 {S. Biundo and M. Fox},
  publisher =	 spring,
}

@PROCEEDINGS{FOSSACS02,
  title = {Foundations of Software Science and Computation Structures ({FOSSACS02})},
  year = {2002},
  editor = {Mogens Nielsen and Uffe Engberg},
  number = {2303},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Foundations of Software Science and Computation Structures ({FOSSACS02})},
  keywords = {conference},
  key = {FOSSACS02}}

@PROCEEDINGS{ECAI84,
  title = {Proceedings of of the 7\textsuperscript{th} European Conference on Artifical Intelligence},
  year = {1984},
  editor = {T. O'Shea},
  address = {Pisa, Italy},
  publisher = {Pitman Publishing, London, England},
  booktitle = {Proceedings of of the 7\textsuperscript{th} European Conference on Artifical Intelligence},
  keywords = {conference},
  key = {ECAI1984}}

@PROCEEDINGS{GWAI92,
  title = {GWAI-92: Advances in Artificial Intelligence},
  year = {1993},
  editor = {Hans J{\"u}rgen Ohlbach},
  number = {671},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {GWAI-92: Advances in Artificial Intelligence}}

@PROCEEDINGS{ParisEtAl:nlgiai91,
  title = {Natural Language Generation in Artificial Intelligence and Computational
    Linguistics},
  year = {1991},
  editor = {C{\'e}cile L. Paris and William R. Swartout and William C. Mann},
  address = {Boston, MA, USA},
  publisher = {Kluwer}}

@PROCEEDINGS{JELIA92,
  year = {1992},
  editor = {David Pearce and Gerd Wagner},
  number = {633},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Logics in AI. European Workshop JELIA '92, Berlin, Germany},
  key = {JELIA1992}}

@PROCEEDINGS{ITS2000-W2,
  title = {Proceedings of the Fifth International Conference on Intelligent
    Tutoring Systems---Workshop W2: Adaptive and Intelligent Web-Based
    Education Systems},
  year = {2000},
  editor = {Christoph Peylo},
  address = {Montr{\'e}al, Canada},
  keywords = {conference},
  key = {ITS2000-W2}}

@PROCEEDINGS{LPAR94,
  year = {1994},
  editor = {Frank Pfenning},
  number = {822},
  series = {LNAI},
  address = {Kiev, Ukraine},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the International Conference on Logic Programming
    and Automated Reasoning LPAR'94},
  keywords = {conference},
  key = {LPAR1994}}

@PROCEEDINGS{IJCAI97,
  year = {1997},
  editor = {Martha E. Pollack},
  address = {Nagoya, Japan},
  publisher = {Morgan Kaufmann},
  booktitle = {Proceedings of the 15\textsuperscript{th} {International} {Joint} {Conference} on {Artificial}
    {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1997}}

@PROCEEDINGS{ECAI98,
  title = {Proceedings of of the 13\textsuperscript{th} European Conference on Artifical Intelligence},
  year = {1998},
  editor = {Henri Prade},
  address = {Brighton, UK},
  publisher = {John Wiley \& Sons, Chichester, UK},
  booktitle = {Proceedings of of the 13\textsuperscript{th} European Conference on Artifical Intelligence},
  keywords = {conference},
  key = {ECAI1998}}

@PROCEEDINGS{CALCULEMUS06,
  year = {2006},
  editor = {Silvio Ranise and Roberto Sebastiani},
  booktitle = {Proceedings of the 13\textsuperscript{th} Symposium on the Integration of Symbolic
    Computation and Mechanized Reasoning (Calculemus-2006)}}

@PROCEEDINGS{ITS02-TS,
  title = {Proceedings of the ITS 2002 --- Workshop on Empirical Methods for
    Tutorial Dialogue Systems},
  year = {2002},
  editor = {Carolyn Penstein Rose and Vincent Aleven},
  address = {San Sebasti{\'a}n, \SPAIN}}

@Book{EKM05,
  editor =   {David G. Schwartz},
  title =    {Encyclopedia of Knowledge Management},
  booktitle =    {Encyclopedia of Knowledge Management},
  publisher =    {Idea Group Reference},
  year =     2005}

@Book{EKM11,
  editor =   {David Schwartz and  Dov Te'eni},
  title =    {Encyclopedia of Knowledge Management},
  booktitle =    {Encyclopedia of Knowledge Management},
  publisher =    {Idea Group Reference},
  edition =  {2},
  year =     2011}

@PROCEEDINGS{CADE84,
  title = {Proceedings of the 7\textsuperscript{th} International Conference on Automated Deduction},
  year = {1984},
  editor = {R. E. Shostak},
  number = {170},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 7\textsuperscript{th} International Conference on Automated Deduction},
  keywords = {conference},
  key = {CADE1984}}

@PROCEEDINGS{CADE86,
  title = {Proceedings of the 8\textsuperscript{th} Conference on Automated Deduction},
  year = {1986},
  editor = {J. Siekmann},
  number = {230},
  series = {LNCS},
  address = {Oxford, England},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 8\textsuperscript{th} Conference on Automated Deduction},
  keywords = {conference},
  key = {CADE1986}}

@PROCEEDINGS{PTP97,
  title = {Proceedings of the First International Workshop on Proof Transformation
    and Presentation},
  year = {1997},
  editor = {J. Siekmann and F. Pfenning and X. Huang},
  address = {Schloss Dagstuhl\GERMANY},
  booktitle = {Proceedings of the First International Workshop on Proof Transformation
    and Presentation}}

@PROCEEDINGS{SiekmannWrightson:aori83,
  title = {Automation of Reasoning 1: Classical Papers on Computational Logic
    1957--1966},
  year = {1983},
  editor = {J{\"o}rg Siekmann and Graham Wrightson},
  series = {Symbolic Computation},
  publisher = {Springer Verlag}}

@PROCEEDINGS{SieWri:aori83,
  title = {Automation of Reasoning},
  year = {1983},
  editor = {J{\"o}rg Siekmann and Graham Wrightson},
  volume = {1 Classical Papers on Computational Logic 1957--1966},
  series = {Symbolic Computation},
  publisher = {Springer Verlag},
  booktitle = {Automation of Reasoning}}

@PROCEEDINGS{SieWri:aorii83,
  title = {Automation of Reasoning},
  year = {1983},
  editor = {J{\"o}rg Siekmann and Graham Wrightson},
  volume = {2 Classical Papers on Computational Logic 1967--1970},
  series = {Symbolic Computation},
  publisher = {Springer Verlag},
  booktitle = {Automation of Reasoning}}

@PROCEEDINGS{AIPS98,
  title = {{\PROC} of the Fourth International Conference on Artificial Intelligence
    Planning Systems ({AIPS-98})},
  year = {1998},
  editor = {R. Simmons and M. Veloso and S. Smith},
  address = {Pittsburgh, PA, USA},
  publisher = {AAAI Press, Menlo Park, CA, USA},
  month = jun,
  booktitle = {{\PROC} of the Fourth International Conference on Artificial Intelligence
    Planning Systems ({AIPS-98})},
  keywords = {conference},
  key = {AIPS98}}

@PROCEEDINGS{CALCULEMUS03,
  title = {11\textsuperscript{th} Symposium on the Integration
    of Symbolic Computation and Mechanized Reasoning ({Calculemus 2003})},
  booktitle = {Proceedings of the 11\textsuperscript{th} Symposium on the Integration
    of Symbolic Computation and Mechanized Reasoning ({Calculemus 2003})},
  url = {http://www.calculemus.net/meetings/rome03/Proceedings/final.pdf},
  year = {2003},
  editor = {Th{\'e}r{\`e}se Hardin and Renaud Rioboo},
  address = {Rome, Italy},
  month = sep}

@PROCEEDINGS{CALCULEMUS04,
  title = {Second International Joint Conference on Automated Reasoning ---
    Workshop on Computer-Supported Mathematical Theory Development},
  year = {2004},
  editor = {Christoph BenzM{\"u}ller and Wolfgang Windsteiger},
  address = {University College Cork, Cork, \IRELAND},
  booktitle = {Second International Joint Conference on Automated Reasoning ---
    Workshop on Computer-Supported Mathematical Theory Development}}

@BOOK{Speck92,
  title = {Grundprobleme der gro{\ss}en Philosophen : Philosophie der Neuzeit.
    Vol. 6. Tarski, Reichenbach, Kraft, G{\"o}del, Neurath},
  publisher = {UTB},
  year = {1992},
  editor = {Speck, Josef},
  volume = {1654},
  series = {UTB f{\"u}r Wissenschaft},
  bibtype = {BOOK},
  crindex = {A.m General Literature, MISCELLANEOUS},
  idnumber = {MPI-I-B-5237},
  isbn = {3-525-03319},
  location = {MPI-ZB},
  shelf = {REFERENCE},
  signature = {Reference},
  status = {available}}

@PROCEEDINGS{ICLP97,
  title = {Proceedings of the 12\textsuperscript{th} International Conference on Logic Programming},
  year = {1995},
  editor = {Leon Sterling},
  address = {Cambridge, MA, USA},
  publisher = {MIT Press},
  booktitle = {Proceedings of the 12\textsuperscript{th} International Conference on Logic Programming},
  keywords = {conference},
  isbn = {0-262-69177-9}}

@PROCEEDINGS{CADE90,
  title = {Proceedings of the 10\textsuperscript{th} Conference on Automated Deduction},
  year = {1990},
  editor = {Mark Stickel},
  number = {449},
  series = {LNAI},
  address = {Kaiserslautern, \GERMANY},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 10\textsuperscript{th} Conference on Automated Deduction},
  keywords = {conference},
  key = {CADE1990}}

@PROCEEDINGS{sun-giles00,
  title = {Sequence Learning: Paradigms, Algorithms, and Applications},
  year = {2000},
  editor = {Sun, R. and Giles, L.},
  number = {1828},
  series = {LNAI},
  publisher = {Springer Verlag}}

@PROCEEDINGS{eswc2006,
  title = {The Semantic Web: Research and Applications},
  booktitle = {The Semantic Web: Research and Applications},
  eventtitle = {3\textsuperscript{rd} European Semantic Web Conference ({ESWC})},
  venue = {Budva, Montenegro},
  eventdate = {2006-06-11/2006-06-14},
  year = {2006},
  editor = {York Sure and John Domingue},
  number = {4011},
  series = {LNCS},
  publisher = {Springer},
  keywords = {conference},
  isbn = {3-540-34544-2}}

@PROCEEDINGS{TABLEAUX98,
  title = {Automated Reasoning with Analytic Tableaux and Related Methods},
  year = {1998},
  editor = {Harry de Swaart},
  number = {1397},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}}

@PROCEEDINGS{ICLP93,
  title = {Proceedings of the 10\textsuperscript{th} International Conference on Logic Programming},
  year = {1993},
  editor = {P. Szeredi},
  publisher = {MIT Press},
  keywords = {conference},
  booktitle = {Proceedings of the 10\textsuperscript{th} International Conference on Logic Programming}}

@PROCEEDINGS{ICMS06,
  title = {Proceedings of ICMS 2006},
  year = {2006},
  editor = {N. Takayama and A. Iglesias},
  number = {4151},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Proceedings of ICMS-2006}}

@BOOK{TarskiGivantMcKenzie86,
  title = {Alfred Tarski : collected papers -- Vol. 1 / 1921--1934},
  publisher = {Birkh{\"a}user},
  year = {1986},
  editor = {Tarski, Alfred and Givant, Stephen and McKenzie, Ralph},
  address = {Basel},
  bibtype = {BOOK},
  crindex = {G.2.0 Mathematics of Computing, DISCRETE MATHEMATICS, General},
  idnumber = {MPI-I-B-4852},
  isbn = {0-8176-3280-8},
  location = {MPI-ZB},
  signature = {Books: Tarski},
  status = {available}}

@BOOK{Thomason:fp74,
  title = {Formal Philosophy: selected Papers of Richard Montague},
  publisher = {Yale University Press, New Haven, CT},
  year = {1974},
  editor = {Thomason, R.}}

@PROCEEDINGS{TPHOL02,
  title = {Theorem Proving in Higher Order Logics: TPHOLs'02},
  year = {2002},
  editor = {V. A. Carreno and C. A. Munoz and S. Tahar},
  number = {2410},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'02},
  keywords = {conference},
  key = {TPHOLS2002}}

@PROCEEDINGS{CADE02,
  title = {Automated Deduction --- CADE-18},
  year = {2002},
  editor = {Andrei Voronkov},
  number = {2392},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {Automated Deduction --- CADE-18},
  keywords = {conference},
  key = {CADE2002}}

@PROCEEDINGS{LPAR93,
  year = {1993},
  editor = {Andrei Voronkov},
  number = {698},
  series = {LNAI},
  address = {St. Petersburg, Russia},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the International Conference on Logic Programming
    and Automated Reasoning LPAR'93},
  keywords = {conference},
  key = {LPAR1993}}

@PROCEEDINGS{LPAR92,
  title = {Proceedings of the International Conference on Logic Programming
    and Automated Reasoning LPAR'92},
  year = {1992},
  editor = {Andrei Voronkov},
  number = {624},
  series = {LNAI},
  address = {St. Petersburg, Russia},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the International Conference on Logic Programming
    and Automated Reasoning LPAR'92},
  keywords = {conference},
  key = {LPAR1992}}

@PROCEEDINGS{semwiki06,
  booktitle = {1\textsuperscript{st} Workshop on Semantic Wikis},
  year = 2006,
  editor = {Max V{\"o}lkel and Sebastian Schaffert and Stefan Decker},
  number = 206,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-206},
  venue = {Budva, Montenegro},
  eventdate = {2006-06-12},
  title = {Proceedings of the 1\textsuperscript{st} Workshop on Semantic Wikis, {European} {Semantic} {Web} {Conference}}}

@PROCEEDINGS{ECAI96,
  title = {Proceedings of the 12\textsuperscript{th} European Conference on Artificial Intelligence},
  year = {1996},
  editor = {Wolfgang Wahlster},
  address = {Budapest, Hungary},
  publisher = {John Wiley \& Sons, Chichester, UK},
  month = aug,
  booktitle = {Proceedings of the 12\textsuperscript{th} European Conference on Artificial Intelligence},
  keywords = {conference},
  key = {ECAI1996}}

@PROCEEDINGS{IJCAI73,
  title = {Proceedings of the 3\textsuperscript{rd} International Joint Conference on Artificial
    Intelligence},
  year = {1973},
  editor = {Donald E. Walker and Lewis Norton},
  booktitle = {Proceedings of the 3\textsuperscript{rd} International Joint Conference on Artificial
    Intelligence},
  keywords = {conference},
  key = {IJCAI1973}}

@PROCEEDINGS{IJCAI69,
  year = {1969},
  editor = {Donald E. Walker and Lewis Norton},
  booktitle = {Proceedings of the 1\textsuperscript{st} International Joint Conference on Artificial
    Intelligence},
  keywords = {conference},
  key = {IJCAI1969}}

@PROCEEDINGS{ISSAC92,
  title = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'92})},
  year = {1992},
  editor = {P. S. Wang},
  publisher = {ACM Press},
  booktitle = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'92})},
  keywords = {conference},
  key = {ISSAC1992}}

@PROCEEDINGS{ISSAC00,
  title = {Proceedings of 2000 International Symposium on Symbolic and Algebraic  Computation ({ISSAC'00})},
  year = {1992},
  editor = {Carlo Traverso},
  publisher = {ACM Press},
  booktitle = {Proceedings of 2000 International Symposium on Symbolic and Algebraic  Computation ({ISSAC'00})},
  key = {ISSAC2000},
  keywords = {conference},
  isbn = {1-58113-218-2}}

@PROCEEDINGS{ISSAC2010,
  title = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic  Computation ({ISSAC})},
  year = {2010},
  publisher = {ACM Press},
  keywords = {conference},
  booktitle = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic  Computation ({ISSAC})}}

@PROCEEDINGS{DEDTREFF94,
  year = {1994},
  editor = {Wolfgang Bibel, Christoph Walther},
  number = {AIDA-94-06},
  series = {Forschungsbericht, FB Informatik, TH Darmstadt},
  address = {Darmstadt, Germany},
  booktitle = {Informal Proc. of the 11\textsuperscript{th} Annual Meeting of the ``GI-Fachgruppe
    Deduktionssysteme''}}

@PROCEEDINGS{TPHOL96,
  title = {Theorem Proving in Higher Order Logics: TPHOLs'96},
  year = {1996},
  editor = {von Wright J. and Jim Grundy and John Harrison},
  number = {1125},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'96},
  keywords = {conference},
  key = {TPHOLS1996}}

@PROCEEDINGS{EWNLG93,
  title = {Proceedings of the 4\textsuperscript{th} European Workshop on Natural Language Generation},
  year = {1993},
  editor = {Michael Zock and Giovanni Adorni and Giacomo Ferrari}}

@PROCEEDINGS{xtech05,
  title = {XTech 2005: XML, the Web and beyond.},
  year = {2005},
  address = {Amsterdam, The Netherlands},
  url = {http://www.idealliance.org/proceedings/xtech05/},
  organization = {IDEAlliance},
  booktitle = {XTech 2005: XML, the Web and beyond.}}

@PROCEEDINGS{EACL03-DS,
  title = {10\textsuperscript{th} Conference of the European Chapter of the Association for Computational
    Linguistics---Proceedings of the Workshop on Dialogue Systems: interaction,
    adaptation and styles of management},
  year = {2003},
  address = {Budapest, \HUNGARY}}

@PROCEEDINGS{QPQ03,
  title = {First QPQ Workshop on Deductive Software Components},
  year = {2003},
  address = {CADE-19, Miami, USA},
  booktitle = {First QPQ Workshop on Deductive Software Components},
  key = {QPQ03}}

@PROCEEDINGS{UNIF03,
  title =

repository: EUProofInfra/EUProofInfra

repo_name: EUProofInfra/EUProofInfra