diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib | 4141 |
1 files changed, 4141 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib b/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib new file mode 100644 index 00000000000..99cb06ca267 --- /dev/null +++ b/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib @@ -0,0 +1,4141 @@ +@STRING{ecmessage = "READ the README please!!!!!!!!!!!!!!"} + +@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}, + publisher = {Springer}, + url = {http://dx.doi.org/10.1007/978-3-662-44199-2}, + doi = {10.1007/978-3-662-44199-2}, + isbn = {978-3-662-44198-5}} + +@proceedings{ITP13, + year = {2013}, + isbn = {978-3-642-39633-5}, + title = {Interactive Theorem Proving}, + booktitle = {Interactive Theorem Proving}, + 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}, + 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 andKazuaki Kishida}, + booktitle = {NTCIR 11 Conference}, + address = {Tokyo, Japan}, + publisher = {NII, Tokyo}, + year = {2014}} + + +@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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + number = {4053}, + year = {2006}, + isbn = {3-540-35159-0}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@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}, + 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}, + 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}, + 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}, + 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}, + booktitle = {Proceedings of of the 9\textsuperscript{th} European Conference on Artifical Intelligence}, + key = {ECAI1990}} + +@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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning -- + 9\textsuperscript{th} International Conference, LPAR 2002}, + key = {LPAR2002}} + +@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})}, + key = {IJCAI1993}} + +@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}, + 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}, + 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}, + key = {TLCA1993}} + + + + +@BOOK{BibSch:adabfa98, + title = {Automated Deduction -- A Basis for Applications}, + publisher = {Kluwer}, + year = {1998}, + editor = {Wolfgang Bibel and Peter Schmitt}, + booktitle = {Automated Deduction -- A Basis for Applications}, + key = {Bibel}} + +@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}, + key = {RTA1991}} + + + +@PROCEEDINGS{MKM06, + title = {{Mathematical Knowledge Management (MKM)}}, + year = {2006}, + editor = {Jon Borwein and William M. Farmer}, + number = {4108}, + series = {LNAI}, + publisher = {Springer Verlag}, + booktitle = {Mathematical Knowledge Management (MKM)}} + +@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}, + 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}, + 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, + SOONeditor = {Stephan Watt and James Davenport and Alan Sexton and Petr Sojka and Josef Urban}, + SOONvenue = {Coimbra, Portugal}, + SOONeventdate = {2014-07-07/2014-07-11}, + SOONeventtitle = {Conferences on Intelligent Computer Mathematics}, + title = {Intelligent Computer Mathematics}, + booktitle = {{Intelligent Computer Mathematics} 2015}, + NOkey = {CICM15}, + NOlabel = {CICM15}, + keywords = {conference}, + publisher = {Springer}, + series = {LNCS}, + SOONnumber = {8543}, + SOONisbn = {978-3-319-08433-6}, + year = 2015, + note = {submitted}, + SOONacceptancerate = {64}, + SOONacceptancerateCOMMENT = {MKM/Calculemus/DML: 26/41, S&P: 9/14, overall: 35/55}, +} + +@PROCEEDINGS{CALCULEMUS10, + key = {CALCULEMUS 2010}, + year = {2010}, + note = {submitted to CALCULEMUS 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}, + 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}, + 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}, + 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}}, + 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})}, + 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)}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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)}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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})}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}}, + 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}, + 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)}, + 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}, + 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}, + key = {RTA1987}} + +@PROCEEDINGS{AISC00, + year = {2001}, + editor = {Eugenio Roanes Lozano}, + number = {1930}, + series = {LNAI}, + publisher = {Springer Verlag}, + 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}, + 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}, + 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}, + 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}, + 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}}, + 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}, + 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}, + 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})}, + 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}, + 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}, + 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)}, + 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})}, + 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}, + key = {KI1994}} + +@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)}, + 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}, + 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}, + 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}, + 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}, + 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})}, + 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}, + 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}, + 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}, + 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})}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + 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}, + key = {LPAR1992}} + + + +@inProceedings{BZ:SOBOLEO10, + author = {Simone Braun and Valentin Zacharias}, + title = {{SOBOLEO} -- A Repository for Living Ontologies}, + crossref = {ORES2010}} + +@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}, + 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}, + 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}, + 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)}, + 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}, + 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}, + 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}, + 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 = {17\textsuperscript{th} Workshop on Unification}, + year = {2003}, + address = {Valencia, Spain}, + booktitle = {17\textsuperscript{th} Workshop on Unification}, + key = {UNIF2003}} + +@PROCEEDINGS{WADT03, + title = {Recent Trends in Algebraic Development Techniques}, + year = {2003}, + number = {2755}, + series = {LNCS}, + publisher = {Springer Verlag}, + booktitle = {Recent Trends in Algebraic Development Techniques}, + key = {WADT03}} + +@PROCEEDINGS{WADT06, + booktitle = {WADT 2006}, + title = {WADT 2006}, + year = {2007}, + editor = {J. Fiadeiro}, + series = {LNCS}, + number = {4409}, + publisher = {Springer}} + +@PROCEEDINGS{WADT10, + booktitle = "Recent Trends in Algebraic Development Techniques", + editor = "H. Kreowski and T. Mossakowski", + number = 7137, + year = "2011", + publisher = "{Springer}", + keywords = {conference}, + series = {LNCS}} + +@PROCEEDINGS{WADT12, + year = 2013, + booktitle = {Recent Trends in Algebraic Development Techniques}, + editor = {Till Mossakowski and Narciso Mart{\'i}-Oliet and Palomino Tarjuelo, Miguel}, + eventtitle = {WADT 2012, 21\textsuperscript{st} International Workshop on Algebraic Development Techniques}, + venue = {Salamanca, Spain}, + eventdate = {2012-06-07/2012-06-10}, + series = {LNCS}, + number = 7841, + publisher = {Springer}, + keywords = {conference}} + + +@PROCEEDINGS{MathML02, + key = {MathML02}, + title = {Second International Conference on MathML and Technologies for Math + on the Web}, + year = {2002}, + address = {Chicago, USA}, + booktitle = {Second International Conference on MathML and Technologies for Math + on the Web}} + +@PROCEEDINGS{ACL00, + year = {2000}, + address = {Hongkong}, + booktitle = {Proceedings of the 38\textsuperscript{th} Annual Meeting of the Association for Computational + Linguistics}} + +@PROCEEDINGS{MathML00, + title = {MathML and Math on the Web: MathML International Conference}, + booktitle = {MathML and Math on the Web: MathML International Conference}, + year = {2000}, + address = {Urbana Champaign, USA}, + month = oct} + +@PROCEEDINGS{TACAS00, + title = {Proceedings of the Sixth International Conference on Tools and Algorithms + for the Construction and Analysis of Systems TACAS-2000}, + year = {2000}, + series = {LNCS}, + address = {Berlin, Germany}, + publisher = {Springer Verlag}, + booktitle = {Proceedings of the Sixth International Conference on Tools and Algorithms + for the Construction and Analysis of Systems, TACAS-2000}, + key = {TACAS2000}} + +@PROCEEDINGS{TACAS07, + title = {Proceedings of the 13\textsuperscript{th} International Conference on Tools and Algorithms + for the Construction and Analysis of Systems TACAS-2007}, + year = {2007}, + series = {LNCS}, + number = 4424, + address = {Berlin, Germany}, + editor = {Orna Grumberg and Michael Huth}, + publisher = {Springer Verlag}, + booktitle = {Proceedings of the 13\textsuperscript{th} International Conference on Tools and Algorithms + for the Construction and Analysis of Systems TACAS-2007}, + key = {TACAS2007}} + +@PROCEEDINGS{AAAI99, + title = {Proceedings of the {Sixteenth National Conference on Artificial Intelligence + (AAAI-99)} and {Eleventh Innovative Application of Artificial Intelligence + Conference (IAAI-99)}}, + year = {1999}, + publisher = {{AAAI} Press}, + booktitle = {Proceedings of the {Sixteenth National Conference on Artificial Intelligence + (AAAI-99)} and {Eleventh Innovative Application of Artificial Intelligence + Conference (IAAI-99)}}} + +@PROCEEDINGS{EWNLG99, + title = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation}, + year = {1999}, + address = {Toulouse France }, + booktitle = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation}} + +@PROCEEDINGS{ISSAC99, + title = {Proceedings of International Symposium on Symbolic and Algebraic + Computation (ISSAC'99)}, + year = {1999}, + publisher = {ACM Press}, + booktitle = {Proceedings of International Symposium on Symbolic and Algebraic + Computation (ISSAC'99)}, + key = {ISSAC1999}} + +@PROCEEDINGS{AAAI96, + title = {Proceedings of the {Thirteenth National Conference on Artificial + Intelligence AAAI-96}}, + year = {1998}, + publisher = {{MIT} Press}, + booktitle = {Proceedings of the {Thirteenth National Conference on Artificial + Intelligence AAAI-96}}} + +@PROCEEDINGS{AAAI98, + title = {Proceedings of the {Fifteenth National Conference on Artificial Intelligence + AAAI-98} and {Tenth Conference on Innovative Application of Artificial + Intelligence IAAI-98}}, + year = {1998}, + publisher = {{MIT} Press}, + booktitle = {Proceedings of the {Fifteenth National Conference on Artificial Intelligence + AAAI-98} and {Tenth Conference on Innovative Application of Artificial + Intelligence IAAI-98}}} + +@PROCEEDINGS{INLG98, + title = {Proceedings of the 9\textsuperscript{th} {International} {Workshop} on {Natural} {Language} + {Generation}}, + year = {1998}, + address = {Niagara-on-the-Lake, Ontario, \CANADA}, + organization = {INLG}, + booktitle = {Proceedings of the 9\textsuperscript{th} {International} {Workshop} on {Natural} {Language} + {Generation}}, + key = {INLG1998}} + +@PROCEEDINGS{JELIA98, + year = {1998}, + number = {1489}, + series = {LNAI}, + publisher = {Springer Verlag}, + booktitle = {Logics in Artificial Intelligence. European Workshop JELIA '98}, + journal = {LNCS}} + +@PROCEEDINGS{AAAI97, + title = {Proceedings of the {Fourteenth National Conference on Artificial + Intelligence AAAI-97}}, + year = {1997}, + publisher = {{MIT} Press}, + booktitle = {Proceedings of the {Fourteenth National Conference on Artificial + Intelligence AAAI-97}}, + venue = {Stanford, USA}, + eventdate = {1997-03}} + +@PROCEEDINGS{ACL97, + year = {1997}, + address = {Madrid, \SPAIN}, + booktitle = {Proceedings of the 35\textsuperscript{th} Annual Meeting of the Association for Computational + Linguistics and the 8\textsuperscript{th} Conference of the European Chapter of the + Association for Computational Linguistics}} + +@PROCEEDINGS{ISSAC97, + title = {Proceedings of International Symposium on Symbolic and Algebraic + Computation (ISSAC'97)}, + year = {1997}, + address = {Hawaii}, + publisher = {ACM Press}, + booktitle = {Proceedings of International Symposium on Symbolic and Algebraic + Computation (ISSAC'97)}, + key = {ISSAC1997}} + +@PROCEEDINGS{INLG96, + title = {Proceedings of the 8\textsuperscript{th} International Natural Language Generation + Workshop}, + year = {1996}, + address = {Herstmonceux Castle, Sussex, UK}, + booktitle = {Proceedings of the 8\textsuperscript{th} International Natural Language Generation + Workshop}, + key = {INLG1996}} + +@PROCEEDINGS{JELIA96, + year = {1996}, + number = {1126}, + series = {LNAI}, + publisher = {Springer Verlag}, + booktitle = {Logics in Artificial Intelligence. European Workshop JELIA '96}, + title = {Logics in Artificial Intelligence. European Workshop JELIA '96}, + key = {JELIA1996}} + +@PROCEEDINGS{EWNLG95, + title = {\PROC of the 5\textsuperscript{th} European Workshop on Natural Language Generation}, + year = {1995}, + address = {Leiden, \NETHERLANDS}, + publisher = {Rijks University Leiden}, + booktitle = {Proceedings of the 5\textsuperscript{th} European Workshop on Natural Language Generation}} + +@PROCEEDINGS{ISSAC95, + title = {Proceedings of International Symposium on Symbolic and Algebraic + Computation (ISSAC'95)}, + year = {1995}, + publisher = {ACM Press}, + booktitle = {Proceedings of International Symposium on Symbolic and Algebraic + Computation (ISSAC'95)}, + key = {ISSAC1995}} + +@PROCEEDINGS{UITP95, + title = {{International Workshop on User Interface Design for Theorem Proving + Systems}}, + year = {1995}, + address = {Glasgow}, + booktitle = {{International Workshop on User Interface Design for Theorem Proving + Systems}}, + key = {UITP1995}} + +@PROCEEDINGS{WSMTG-IJCAI95, + title = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation}, + year = {1995}, + address = {Montreal, \CANADA}, + booktitle = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation}} + +@PROCEEDINGS{COGSCI94, + title = {Proceedings of the 16\textsuperscript{th} Annual Conference of the Cognitive Science + Society}, + year = {1994}} + +@PROCEEDINGS{COLING94, + title = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational} + {Linguistics}}, + year = {1994}, + address = {Kyoto, Japan}, + publisher = {Morgan Kaufmann}, + booktitle = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational} + {Linguistics}}} + +@proceedings{COLING00, + title = {{COLING 2000,} 18\textsuperscript{th} {International} {Conference} on {Computational} {Linguistics}}, + booktitle = {COLING 2000, 18\textsuperscript{th} {International} {Conference} on {Computational} {Linguistics}}, + publisher = {Morgan Kaufmann}, + year = {2000}, + ee = {http://aclweb.org/anthology/C/C00/} +} + +@PROCEEDINGS{INLG94, + title = {Proceedings of the 7\textsuperscript{th} {International} {Workshop} on {Natural} {Language} + {Generation}}, + year = {1994}, + address = {Kennebunkport, ME}, + organization = {INLG}, + booktitle = {Proceedings of the 7\textsuperscript{th} {International} {Workshop} on {Natural} {Language} + {Generation}}, + key = {INLG1994}} + +@PROCEEDINGS{LICS94, + title = {Proceedings of the 9\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-9)}, + year = {1994}, + address = {Paris, France}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the 9\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-9)}, + key = {LICS1994}} + +@PROCEEDINGS{POPL94, + title = {Proceedings of the 21\textsuperscript{st} ACM Symposium on Principles of Programming + Languages}, + year = {1994}, + address = {New York, NY}, + publisher = {ACM}, + month = jan, + organization = {ACM}, + booktitle = {Proceedings of the 21\textsuperscript{st} ACM Symposium on Principles of Programming + Languages}, + key = {POPL1994}} + +@PROCEEDINGS{WGENERATION94, + title = {Proceedings of 7\textsuperscript{th} International Workshop on Generation}, + year = {1994}, + address = {Kennebunkport, Maine, USA}, + booktitle = {Proceedings of 7\textsuperscript{th} International Workshop on Generation}} + +@PROCEEDINGS{HOA93, + year = {1993}, + number = {816}, + series = {LNCS}, + address = {Amsterdam, The Netherlands}, + publisher = {Springer Verlag}, + booktitle = {HOA'93, an International Workshop on Higher-order Algebra, Logic + and Term Rewriting}, + key = {HOA1993}} + +@PROCEEDINGS{IAAI93, + title = {Proceedings of the 5\textsuperscript{th} Innovative Applications of Artificial Intelligence + Conference}, + year = {1993}} + +@PROCEEDINGS{ISMVL93, + year = {1993}, + address = {Sacramento, CA}, + publisher = {IEEE Press}, + booktitle = {Proceedings of the 23\textsuperscript{rd} Intrenational Symposium on Multiple Valued + Logic}, + key = {ISMVL1993}} + +@PROCEEDINGS{LICS93, + title = {Proceedings of the 8\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-8)}, + year = {1993}, + address = {Montreal, Canada}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the 8\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-8)}, + key = {LICS1993}} + +@PROCEEDINGS{PACL93, + title = {Proceedings of the 1\textsuperscript{st} Conference of the Pacific Association for + Computational Linguistics}, + year = {1993}, + address = {Vancouver, \CANADA}, + publisher = {Centre for Systems Science, Simon Fraser University}} + +@PROCEEDINGS{CTRS92, + year = {1992}, + number = {656}, + series = {LNCS}, + publisher = {Springer Verlag}, + booktitle = {Proceedings of the third International Workshop on Conditional Term + Rewriting Systems, Pont-a-Mousson, France}, + key = {CTRS1992}} + +@PROCEEDINGS{LICS91, + title = {Proceedings of the 6\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-6)}, + year = {1992}, + address = {Amsterdam, NL}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the 6\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-6)}, + key = {LICS1991}} + +@PROCEEDINGS{LICS92, + title = {Proceedings of the 7\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-7)}, + year = {1992}, + address = {Santa Cruz, CA, USA}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the 7\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-7)}, + key = {LICS1992}} + +@PROCEEDINGS{AAAI91, + title = {Proceedings of AAAI-91}, + year = {1991}, + publisher = {Morgan Kaufman}} + +@PROCEEDINGS{SLDI91, + title = {Proceedings of the SIGPLAN '91 Symposion on Language Design and Implementation, + Toronto, Canada}, + year = {1991}, + publisher = {ACM Press}, + booktitle = {Proceedings of the SIGPLAN '91 Symposion on Language Design and Implementation, + Toronto, Canada}} + +@PROCEEDINGS{ACL89, + title = {Proceedings of the 27\textsuperscript{th} Annual Meeting of the Association for Computational + Linguistics}, + year = {1989}, + address = {Vancouver, British Columbia}} + +@PROCEEDINGS{LICS89, + title = {Proceedings of the 4\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-4)}, + year = {1989}, + address = {Pacific Grove, CA, USA}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the 4\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-4)}, + key = {LICS1989}} + +@PROCEEDINGS{LICS90, + title = {Proceedings of the 5\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-5)}, + year = {1989}, + address = {Philadelphia, PA, USA}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the 5\textsuperscript{th} Annual IEEE Symposium on Logic in Computer + Science (LICS-5)}, + key = {LICS1990}} + +@PROCEEDINGS{STACS89, + year = {1989}, + number = {349}, + series = {LNCS}, + publisher = {Springer Verlag}, + booktitle = {Proceedings STACS'89}} + +@PROCEEDINGS{LICS88, + title = {Proceedings of the third Annual IEEE Symposium on Logic in Computer + Science (LICS-3)}, + year = {1988}, + address = {Edinburgh, Great Britain}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the third Annual IEEE Symposium on Logic in Computer + Science (LICS-3)}, + key = {LICS1988}} + +@PROCEEDINGS{ILPS87, + title = {IEEE Symposium on Logic Programming}, + year = {1987}, + address = {Salt Lake City}, + booktitle = {IEEE Symposium on Logic Programming}} + +@PROCEEDINGS{LICS87, + title = {Proceedings of the second Annual IEEE Symposium on Logic in Computer + Science (LICS-2)}, + year = {1987}, + address = {Ithaca, NY, USA}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the second Annual IEEE Symposium on Logic in Computer + Science (LICS-2)}, + key = {LICS1987}} + +@PROCEEDINGS{LFP86, + title = {Proceedings ACM Conference on LISP and Functional Programming}, + year = {1986}, + booktitle = {Proceedings ACM Conference on LISP and Functional Programming}} + +@PROCEEDINGS{LICS86, + title = {Proceedings of the first Annual IEEE Symposium on Logic in Computer + Science (LICS-1)}, + year = {1986}, + address = {Cambridge, MA, USA}, + publisher = { IEEE Computer Society Press}, + booktitle = {Proceedings of the first Annual IEEE Symposium on Logic in Computer + + Science (LICS-1)}, + key = {LICS1986}} + +@PROCEEDINGS{POPL84, + title = {Proc of the 11\textsuperscript{th} ACM Symposium on Principles of Programming Languages}, + year = {1984}, + address = {New York}, + organization = {ACM}, + booktitle = {Proc of the 11\textsuperscript{th} ACM Symposium on Principles of Programming Languages}} + +@PROCEEDINGS{LFP82, + title = {Proceedings ACM Conference on LISP and Functional Programming}, + year = {1982}, + booktitle = {Proceedings ACM Conference on LISP and Functional Programming}} + +@PROCEEDINGS{CADE80, + title = {Proceedings of the 5\textsuperscript{th} International Conference on Automated Deduction}, + year = {1980}, + publisher = {Springer Verlag}, + booktitle = {Proceedings of the 5\textsuperscript{th} International Conference on Automated Deduction}, + key = {CADE1980}} + +@PROCEEDINGS{IJCAI77, + year = {1977}, + publisher = {Morgan Kaufmann, San Mateo, California, USA}, + booktitle = {Proceedings of the 5\textsuperscript{th} International Joint Conference on Artificial + Intelligence (IJCAI)}, + key = {IJCAI1977}} + +@PROCEEDINGS{EUROSAM79, + title = {Proceedings of the International Symposion on Symbolic and Algebraic + Manipulation EUROSAM+79}, + year = {1976}, + number = {72}, + series = {LNCS}, + publisher = {Springer Verlag}, + booktitle = {Proceedings of the International Symposion on Symbolic and Algebraic + Manipulation EUROSAM+79}} + +@PROCEEDINGS{ACM72, + title = {Proceedings of the ACM annual Conference 1972}, + year = {1972}, + booktitle = {Proceedings of the ACM annual Conference }} + +@PROCEEDINGS{SAD70, + title = {Symposium on Automatic Demonstration}, + year = {1970}, + number = {125}, + series = {LNM}, + publisher = {Springer Verlag}} + +@PROCEEDINGS{IFIP68, + title = {Proceedings of IFIP Congress in Information Processing}, + year = {1968}, + volume = {68}, + publisher = {North Holland, Amsterdam}, + booktitle = {Proceedings of IFIP Congress in Information Processing}} + +@PROCEEDINGS{MKM01, + title = {Electronic Proceedings of the First International Workshop on Mathematical + Knowledge Management: {MKM'2001}}, + year = {2001}, + editor = {Bruno Buchberger and Olga Caprotti}, + url = {http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/}, + booktitle = {Electronic Proceedings of the First International Workshop on Mathematical + Knowledge Management: {MKM'2001}}} + +@proceedings{ekaw2002, + editor = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and + V. Richard Benjamins}, + title = {Knowledge Engineering and Knowledge Management. Ontologies + and the Semantic Web}, + booktitle = {Knowledge Engineering and Knowledge Management. Ontologies + and the Semantic Web}, + eventtitle = {13\textsuperscript{th} International Conference, EKAW}, + venue = {Sig{\"u}enza, Spain}, + eventdate = {2002-10-01/2002-10-04}, + publisher = {Springer}, + series = {LNCS}, + number = {2473}, + year = {2002}, + isbn = {3-540-44268-5}} + +@proceedings{ekaw2008, + editor = {Aldo Gangemi and J{\'e}r{\^o}me Euzenat}, + title = {Knowledge Engineering: Practice and Patterns}, + booktitle = {Knowledge Engineering: Practice and Patterns}, + eventtitle = {16\textsuperscript{th} International Conference, {EKAW}}, + venue = {Acitrezza, Italy}, + eventdate = {2008-09-29/2008-10-02}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {5268}, + year = {2008}, + isbn = {978-3-540-87695-3}} + +@Proceedings{WebALT2006, + title = {Proceedings of WebALT 2006, First WebALT Conference and Exhibition}, + year = 2006, + editor = {Mika Sepp{\"a}l{\"a} and Sebastian Xamb{\'o} and Olga Caprotti}, + isbn = {952-99666-0-1}, + venue = {Eindhoven, Netherlands}, + eventdate = {2006-01-05/2006-01-06}, + publisher = {Oy WebALT Inc}} + +@Proceedings{EdMedia2008, + title = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2008 (ED-MEDIA'08)}, + booktitle = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2008 (ED-MEDIA'08)}, + year = 2008, + key = {EdMedia2008}, + venue = { Vienna, Austria }, + eventdate = {2008-06}, + month = jun, + publisher = {AACE}} + +@Proceedings{EdMedia2007, + title = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2007 (ED-MEDIA'07)}, + booktitle = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2007 (ED-MEDIA'07)}, + editor = {Craig Montgomerie and Jane Seale}, + year = 2007, + key = {EdMedia2007}, + annote = {Vancouver, Canada}, + month = jun, + publisher = {AACE}} + + + + +@Proceedings{MuC2007, + title = {{Mensch \& Computer 2007: Interaktion im Plural}}, + year = 2007, + key = {MuC2007}, + editor = {Tom Gross}, + series = {{Konferenzreihe Mensch und Computer}}, + number = {7}, + address = {Bauhaus-Universit{\"a}t Weimar, Germany}, + month = sep, + publisher = {Oldenbourg Verlag}, + annote = {7.te Fach{\"u}bergreifende Konferenz}} + +@Proceedings{MathUI04, + editor = {Paul Libbrecht}, + title = {Mathematical User Interfaces Workshop 2004}, + booktitle = {Mathematical User Interfaces}, + howpublished = {online at {\url{http://www.activemath.org/~paul/MathUI04}}}, + url = {http://www.activemath.org/~paul/MathUI04}, + year = 2004} + +@Proceedings{MathUI06, + editor = {Paul Libbrecht}, + title = {Mathematical User-Interfaces Workshop 2006}, + booktitle = {Mathematical User Interfaces Workshop 2006}, + url = {http://www.activemath.org/~paul/MathUI06}, + year = 2006} + +@Proceedings{MathUI07, + editor = {Paul Libbrecht}, + title = {Mathematical User-Interfaces Workshop 2007 at {MKM}}, + booktitle = {Mathematical User Interfaces Workshop 2007}, + howpublished = {online at {\url{http://www.activemath.org/~paul/MathUI07}}}, + url = {http://www.activemath.org/~paul/MathUI07}, + year = 2007, + month = jun} + +@Proceedings{MathUI12, + editor = {Paul Libbrecht}, + title = {Mathematical User-Interfaces Workshop 2012 at {CICM}}, + booktitle = {Mathematical User Interfaces Workshop 2012}, + howpublished = {online at {\url{http://www.cermat.org/events/MathUI/12/}}}, + url = {http://www.cermat.org/events/MathUI/12/}, + year = 2012, + month = jun} + +@Proceedings{SCOOP07, + editor = {Christine M{\"u}ller}, + title = {{1\textsuperscript{st} Workshop on Scientific COmmunities Of Practice}}, + booktitle = {{Proceedings of the 1\textsuperscript{st} SCooP Workshop}}, + howpublished = {online at {\url{http://kwarc.info/events/scoop/scoop1.html}}}, + url = {http://kwarc.info/events/scoop/scoop1.html}, + year = 2007} + +@Proceedings{MC07, + editor = {Tom Gross}, + title = {7. Konferenz f{\"u}r interaktive und kooperative Medien}, + booktitle = {Mensch und Computer 2007}, + publisher = {Oldenburg}, + year = 2007} + +@Proceedings{LWA07, + editor = {Alexander Hinneburg}, + title = {{Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) conference proceedings}}, + booktitle = {{Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) conference proceedings}}, + institution = {Martin-Luther University Halle-Wittenberg}, + publisher = {Martin-Luther-University Halle-Wittenberg}, + year = {2007}} + + + +@PROCEEDINGS{DeLFI06, + title = {Proceedings of the 4\textsuperscript{th} eLearning Fachtagung Informatik --- DeLFI 2006}, + year = {2006}, + editor = {Max M{\"u}hlh{\"a}user and Guido R{\"o}ssling and Ralf Steinmetz}, + booktitle = {Proceedings of the 4\textsuperscript{th} eLearning Fachtagung Informatik --- DeLFI 2006}, + volume = {P-87}, + publisher = {K{\"o}llen Druck Verlag GmbH, Bonn}} + +@PROCEEDINGS{CSCL05, + title = {Proceedings of the CSCL 2005}, + year = {2005}, + place = {Taipei, Taiwan}, + editor = {...}, + booktitle = {Proceedings of the CSCL 2005}, + volume = {...}, + publisher = {...}} + +@PROCEEDINGS{LC87, + booktitle = {Logic Colloquium '87}, + title = {Logic Colloquium '87}, + place = {Taipei, Taiwan}, + editor = {H. J. Ebbinghaus}, + publisher = {North Holland}} + + +@Book{MatZal:fip07, + title = {From Insight to Proof: Festschrift in Honour of Andrzej Trybulec}, + booktitle = {From Insight to Proof: Festschrift in Honour of Andrzej Trybulec}, + series = {Studies in Logic, Grammar and Rhetoric}, + editor = {Matuszewski, R. and Zalewska, A.}, + publisher = {University of Bia{\l}ystok}, + year = {2007}, + volume = {10:23}, + url={http://mizar.org/trybulec65/}} + +@Proceedings{ICSE04, + booktitle = {26\textsuperscript{th} IEEE International Conference on Software Engineering}, + title = {26\textsuperscript{th} IEEE International Conference on Software Engineering}, + year = 2004} + +@proceedings{ICSE06, + title = {ICSE '06: Proceedings of the 28\textsuperscript{th} international conference on Software engineering}, + booktitle = {ICSE '06: Proceedings of the 28\textsuperscript{th} international conference on Software engineering}, + year = {2006}, + isbn = {1-59593-375-1}, + location = {Shanghai, China}, + doi = {10.1145/1134285.1134312}, + url = {http://doi.acm.org/10.1145/1134285.1134312}, + publisher = {ACM}, + address = {New York, NY, USA} + } + +@proceedings{eswc2005, + editor = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and + J{\'e}r{\^o}me Euzenat}, + title = {The Semantic Web: Research and Applications}, + booktitle = {The Semantic Web: Research and Applications}, + eventtitle = {2\textsuperscript{nd} European + Semantic Web Conference (ESWC)}, + venue = {Hersonissos, Crete, Greece}, + eventdate = {2005-05-29/2005-06-01}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {3532}, + year = {2005}, + isbn = {3-540-26124-9}} + +@proceedings{eswc2007, + editor = {Enrico Franconi and + Michael Kifer and + Wolfgang May}, + title = {The Semantic Web: Research and Applications}, + booktitle = {The Semantic Web: Research and Applications}, + eventtitle = {4\textsuperscript{th} European Semantic Web Conference (ESWC)}, + venue = {Innsbruck, Austria}, + eventdate = {2007-06-03/2007-06-07}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {4519}, + year = {2007}, + isbn = {978-3-540-72666-1}} + +@proceedings{eswc2008, + editor = {Sean Bechhofer and Manfred Hauswirth and J{\"o}rg Hoffmann and + Manolis Koubarakis}, + title = {The Semantic Web: Research and Applications}, + booktitle = {The Semantic Web: Research and Applications}, + keywords = {conference}, + eventtitle = {5\textsuperscript{th} European Semantic Web Conference (ESWC)}, + venue = {Tenerife, Spain}, + eventdate = {2008-06-01/2008-06-05}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {5021}, + year = {2008}} + +@proceedings{eswc2009, + editor = {Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyv{\"o}nen and Riichiro Mizoguchi and Eyal Oren and Marta Sabou and Paslaru Bontas Simperl, Elena}, + title = {The Semantic Web: Research and Applications}, + eventtitle = {6\textsuperscript{th} European Semantic Web Conference (ESWC)}, + venue = {Hersonissos, Crete, Greece}, + eventdate = {2009-05-31/2009-06-04}, + booktitle = {ESWC}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {5554}, + year = {2009}} + +@comment{Note: part=1 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct} +@proceedings{eswc2010-1, + editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, + year = {2010}, + title = {The Semantic Web: Research and Applications (Part I)}, + booktitle = {The Semantic Web: Research and Applications (Part I)}, + eventtitle = {7\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, + venue = {Hersonissos, Crete, Greece}, + eventdate = {2010-05-30/2010-06-03}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {6088}} + +@comment{Note: part=2 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct} +@proceedings{eswc2010-2, + editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, + year = {2010}, + title = {The Semantic Web: Research and Applications (Part II)}, + booktitle = {The Semantic Web: Research and Applications (Part II)}, + keywords = {conference}, + eventtitle = {7\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, + venue = {Hersonissos, Crete, Greece}, + eventdate = {2010-05-30/2010-06-03}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {6089}} + +@proceedings{swui2008, + editor = {Duane Degler and schraefel, mc and Jennifer Golbeck and Abraham Bernstein and Lloyd Rutledge}, + title = {Semantic Web User Interaction (SWUI), {CHI}}, + subtitle = {Exploring HCI Challenges}, + eventdate = {2008-04-05}, + venue = {Florence, Italy}, + booktitle = {Semantic Web User Interaction (SWUI), {CHI}}, + year = {2008}, + number = 543, + series = {CEUR Workshop Proceedings}, + address = {Aachen}, + url = {http://CEUR-WS.org/Vol-543}, + issn = {1613-0073}} + +@proceedings{chi2008, + title = {Proceedings of the 2008 Conference on Human Factors in Computing + Systems (CHI)}, + eventdate = {2008-04-05/2008-04-10}, + venue = {Florence, Italy}, + booktitle = {CHI}, + publisher = {ACM}, + year = {2008}} + +@proceedings{chi2007, + editor = {Mary Beth Rosson and David J. Gilmore}, + title = {Proceedings of the 2007 Conference on Human Factors in Computing + Systems, CHI 2007, San Jose, California, USA, April 28 - + May 3, 2007}, + booktitle = {CHI}, + publisher = {ACM}, + year = {2007}, + isbn = {978-1-59593-593-9}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@proceedings{chi1990, + editor = {Jane Carrasco Chew and John Whiteside}, + title = {Conference on Human Factors in Computing Systems (CHI)}, + booktitle = {Conference on Human Factors in Computing Systems (CHI)}, + publisher = {ACM}, + address = {New York, NY, USA}, + year = {1990}, + eventdate = {1990}, + venue = {Seattle, WA, USA}, + isbn = {0-201-50932-6}} + +@Proceedings{LWA08, + editor = {Joachim Baumeister and Martin Atzm{\"u}ller}, + title = {{Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}}, + booktitle = {{Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}}, + type = {Technical Report}, + volume = {448}, + institution = {Universit{\"a}t W{\"u}rzburg}, + year = {2008}, + month = oct} + +@techreport{LWA09, + author = {Melanie Hartmann and Frederik Janssen}, + title = {{LWA 2009; Workshop-Woche: Lernen -- Wissen -- Adaptivit{\"a}t}}, + volume = {TUD-KE-2009-04}, + institution = {Universit{\"a}t Darmstadt}, + year = 2009, + month = sep,} + +@PROCEEDINGS{LWA13, + title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}, +booktitle = {LWA 2013 - Lernen, Wissen & Adaptivit{\"a}t, Workshop Proceedings, Bamberg, 7.-9. October 2013}, + editor = {Henrich, Andreas and Sperker, Hans-Christian}, + institution = {Universit{\"a}t Bamberg}, + year = 2013, + month = oct, +} + +@PROCEEDINGS{LWA11, + title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}, + booktitle = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}, + institution = {Otto-von-Guericke-Universit{\"a}t Magdeburg}, + year = 2011, + month = sep, +} + + + + +@Proceedings{SCOOP08, + editor = {Christine M{\"u}ller}, + title = {2\textsuperscript{nd} Workshop on Scientific Communities of Practice (SCooP-2008)}, + booktitle = {Proceedings of the 2\textsuperscript{nd} SCooP Workshop}, + howpublished = {online at {\url{http://kwarc.info/events/scoop/scoop2.html}}}, + url = {http://kwarc.info/events/scoop/scoop2.html}, + year = 2008, + month = jun} + +@comment{DBLP:conf/wcce/2001} +@proceedings{WCCE01, + editor = {Deryn Watson and Jane Andersen}, + title = {Networking the Learner: Computers in Education, IFIP TC3 Seventh + IFIP World Conference on Computers in Education, WCCE 2001, July + 29 -- August 3, 2001, Copenhagen, Denmark}, + booktitle = {WCCE}, + publisher = {Kluwer}, + series = {IFIP Conference Proceedings}, + volume = {217}, + year = {2002}, + isbn = {1-4020-7133-7}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@Proceedings{ComTech2005, + year = 2005, + booktitle = {{Communities and Technologies}}, + editor = {Peter van den Besselaar and Giorgio de Michelis and Jenny Preece and Carla Simone}, + publisher = {Springer Verlag}} + + + +@Proceedings{SemNet2007, + booktitle = {Bridging the Gap between Semantic Web and Web 2.0 (SemNet)}, + editor = {Andreas Hotho and Bettina Hoser}, + year = {2007}, + month = jun} +@PROCEEDINGS{KWEPSY2007, + booktitle = {Proceedings of the KWEPSY (Knowledge Web PhD Symposium)}, + venue = {Innsbruck, Austria}, + eventdate = {2007-06}, + year = 2007, + editor = {Elena Simperl and J{\"o}rg Diederich and Guus Schreiber}, + number = {275}, + series = {CEUR Workshop Proceedings}, + address = {Aachen}, + issn = {1613-0073}, + url = {http://CEUR-WS.org/Vol-275}} + +@proceedings{DL-handbook03, + editor = {Franz Baader and + Diego Calvanese and + Deborah L. McGuinness and + Daniele Nardi and + Peter F. Patel-Schneider}, + title = {The Description Logic Handbook: Theory, Implementation, + and Applications}, + booktitle = {Description Logic Handbook}, + publisher = {Cambridge University Press}, + year = {2003}, + isbn = {0-521-78176-0}} + +@PROCEEDINGS{MKM04, + title = {Mathematical Knowledge Management, {MKM'04}}, + year = {2004}, + editor = {Andrea Asperti and Grzegorz Bancerek and Andrej Trybulec}, + number = {3119}, + series = {LNAI}, + publisher = {Springer Verlag}, + booktitle = {Mathematical Knowledge Management, {MKM'04}}} + +@PROCEEDINGS{IJCAI99, + year = {1999}, + editor = {Thomas Dean}, + address = {Stockholm}, + publisher = {Morgan Kaufmann}, + booktitle = {Proceedings of the 16\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} + {Intelligence} ({IJCAI})}, + key = {IJCAI1999}} + +@proceedings{CADE07, + editor = {Frank Pfenning}, + title = {Automated Deduction -- CADE-21, 21\textsuperscript{st} International Conference on Automated + Deduction, Bremen, Germany, July 17-20, 2007, Proceedings}, + booktitle = {CADE}, + publisher = {Springer}, + series = {LNCS}, + number = {4603}, + year = {2007}, + isbn = {978-3-540-73594-6}} + +@PROCEEDINGS{LACL96, + booktitle = {Logical Aspects of Computational Linguistics}, + title = {Logical Aspects of Computational Linguistics}, + year = {1996}, + editor = {Christian Retor{\'e}}, + publisher = {Springer-Verlag}} + +@PROCEEDINGS{LINEAR96, + booktitle = {Linear Logic 96 Tokyo Meeting}, + title = {Linear Logic 96 Tokyo Meeting}, + year = {1996}, + volume = {3}, + series = {Electronic Notes in Theoretical Computer Science}, + editor = {Jean-Yves Girard and Mitsuhiro Okada and Andre Scedrov}, + publisher = {Elsevier}} + +@Proceedings{iswc2008, + title = {The Semantic Web}, + booktitle = {The Semantic Web}, + eventtitle = {7\textsuperscript{th} International Semantic Web Conference (ISWC)}, + year = 2008, + editor = {Amit P. Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy W. Finin and Krishnaprasad Thirunarayan}, + number = {5318}, + series = {LNCS}, + month = oct, + publisher = {Springer Verlag}} + +@Proceedings{SWASD09, + title = {Semantic Web Applications in Scientific Discourse (SWASD)}, + booktitle = {Semantic Web Applications in Scientific Discourse (SWASD)}, + year = {2009}, + editor = {Tim Clark and Joanne S. Luciano and M. Scott Marshall and Eric Prud'hommeaux and Susie Stephens}, + series = "CEUR Workshop Proceedings", + address = {Aachen}, + issn = {1613-0073}, + number = 523, + url = {http://CEUR-WS.org/Vol-523}} + +@Proceedings{SDoW2008, + title = {Social Data on the Web (SDoW), Workshop at the 7\textsuperscript{th} International Semantic Web Conference}, + year = {2008}, + eventdate = {2008-10-27}, + venue = {Karlsruhe, Germany}, + booktitle = {Social Data on the Web (SDoW), Workshop at the 7\textsuperscript{th} International Semantic Web Conference}, + editor = {John Breslin and Uldis Boj{\=a}rs and Alexandre Passant and Sergio Fern{\'a}ndez}, + series = "CEUR Workshop Proceedings", + address = {Aachen}, + issn = {1613-0073}, + number = 405, + url = {http://sdow.semanticweb.org/2008/}} + +@Proceedings{SDoW2009, + title = {Social Data on the Web (SDoW), Workshop at the 8\textsuperscript{th} International Semantic Web Conference}, + year = 2009, + eventdate = {2009-10-25}, + venue = {Washington DC, USA}, + booktitle = {Social Data on the Web (SDoW), Workshop at the 8\textsuperscript{th} International Semantic Web Conference}, + editor = {John Breslin and Uldis Boj{\=a}rs and Alexandre Passant and Sergio Fern{\'a}ndez}, + series = "CEUR Workshop Proceedings", + address = {Aachen}, + issn = {1613-0073}, + number = 520, + url = {http://sdow.semanticweb.org/2009/}} + +@Proceedings{MathUI08, + editor = {Paul Libbrecht}, + title = {Mathematical User Interfaces Workshop at {MKM}}, + booktitle = {Mathematical User Interfaces Workshop}, + url = {http://www.activemath.org/~paul/MathUI08}, + year = 2008, + month = jul} + +@Proceedings{www2003, + title = {Proceedings of the 12\textsuperscript{th} international {World} {Wide} {Web} conference, ({WWW})}, + venue = {Budapest, Hungary}, + eventdate = {2003-05-20/2003-05-24}, + booktitle = {Proceedings of the 12\textsuperscript{th} {WWW} conference}, + publisher = {ACM Press}, + year = {2003}} + +@PROCEEDINGS{www2005, + title = {Proceedings of the 14\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})}, + venue = {Chiba, Japan}, + eventdate = {2005-05-10/2005-05-14}, + booktitle = {Proceedings of the 14\textsuperscript{th} {WWW} conference}, + publisher = {ACM Press}, + year = {2005}, + editor = {Allan Ellis and Tatsuya Hagino}, + isbn = {1-59593-046-9}} + +@PROCEEDINGS{www2006, + title = {Proceedings of the 15\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})}, + venue = {Edinburgh, Scotland}, + evendate = {2006-05-23/2006-05-26}, + booktitle = {Proceedings of the 15\textsuperscript{th} {WWW} conference}, + publisher = {ACM Press}, + year = {2006}} + +@PROCEEDINGS{www2007, + title = {Proceedings of the 16\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})}, + venue = {Banff, Alberta, Canada}, + eventdate = {2007-05-08/2007-05-12}, + booktitle = {Proceedings of the 16\textsuperscript{th} {WWW} conference}, + publisher = {ACM Press}, + editor = {Carey L. Williamson and + Mary Ellen Zurko and + Peter F. Patel-Schneider and + Prashant J. Shenoy}, + year = {2007}, + isbn = {978-1-59593-654-7}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@PROCEEDINGS{www2008, + title = {Proceedings of the 17\textsuperscript{th} international + {World} {Wide} {Web} conference ({WWW})}, + venue = {Beijing, China}, + eventdate = {2008-04-21/2008-04-25}, + booktitle = {Proceedings of the 17\textsuperscript{th} {WWW} conference}, + publisher = {ACM Press}, + editor = {Jinpeng Huai and Robin Chen and Hsiao-Wuen Hon and Yunhao Liu and Wei-Ying Ma and Andrew Tomkins and Xiaodong Zhang}, + year = {2008}, + isbn = {978-1-60558-085-2}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@PROCEEDINGS{www2009, + title = {Proceedings of the 18\textsuperscript{th} international + {World} {Wide} {Web} conference ({WWW})}, + venue = {Madrid, Spain}, + eventdate = {2009-04-20/2009-04-24}, + booktitle = {Proceedings of the 17\textsuperscript{th} {WWW} conference}, + publisher = {ACM Press}, + editor = {Juan Quemada and Gonzalo Le{\'o}n and Yo{\"e}lle S. Maarek and Wolfgang Nejdl}, + year = {2009}, + isbn = {978-1-60558-487-4}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@PROCEEDINGS{er2006, + title = {25\textsuperscript{th} International Conference on Conceptual Modeling (ER2006)}, + year = 2006, + editor = {D. W. Embley and A. Olive and S. Ram}, + number = 4215, + series = {LNCS}, + venue = {Tucson, USA}, + eventdate = 2006, + booktitle = {Proceedings of the 25\textsuperscript{th} International Conference on Conceptual Modeling (ER2006)}} + +@Proceedings{semantics2006, + title = {Semantics: From Visions to Applications}, + subtitle = {Semantics -- The New Paradigm Shift in {IT}}, + venue = {Vienna, Austria}, + eventdate = {2006-11}, + booktitle = {Proceedings of Semantics: From Visions to Applications}, + booksubtitle = {Semantics -- The New Paradigm Shift in {IT}}, + editor = {York Sure and Sebastian Schaffert}, + year = 2006} +@Proceedings{Wissenstransform05, + year = {2005}, + booktitle = {{Wissenstransform. Wissensmanagement in gleichstellungsorientierten Netzwerken}}, + editor = {Sylke Ernst and Jasmin Warwas and Edit Kirsch-Auwaerter}, + publisher = {LIT Verlag}} + +@Proceedings{ComTech2003, + year = 2003, + booktitle = {{Communities and Technologies}}, + editor = {Marleen Huysmann and Etienne Wenger and Volker Wulf}, + publisher = {Kluwer Academic Publishers}} + +@Proceedings{OSEE2005, + title = {Open Source for Education in Europe: Research and Practise}, + booktitle = {Open Source for Education in Europe: Research and Practise}, + year = {2005}, + editor = {Fred de Vries and Graham Attwell and Raymond Elferink and Alexandra T{\"o}dt}, + address = {Heerlen, The Netherlands}, + month = nov, + organization = {Open Universiteit Nederland}, + publisher = {Open Universiteit Nederland}, + url = {http://hdl.handle.net/1820/483}, + note = {Proceedings at \url{http://hdl.handle.net/1820/483}}} +@Proceedings{LOKMOL2006, + title = {{2\textsuperscript{nd} Workshop on Learner Oriented Knowledge Management \& {KM} Oriented + e-Learning}}, + year = 2006, + booktitle = {{Joint International Workshop on Professional Learning, Competence + Development and Knowledge Management -- LOKMOL and L3NCD}}, + editor = {Martin Memmel and Eric Ras and Stephan Weibelzahl}, + note = {Online Proceedings at + {\url{http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf}}}, + url = {http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf}} +@Proceedings{Pre-ConferenceWorkshopsDeLFI2006, + title = {{Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung + Informatik DeLFI 2006}}, + year = 2006, + editor = {Christoph Rensing}, + publisher = {Logos Verlag}, + note = {ISBN 3-8325-1330-2}} + +@proceedings{SIGIR93, + editor = {Robert Korfhage and Edie M. Rasmussen and Peter Willett}, + title = {Proceedings of the 16\textsuperscript{th} Annual International ACM-SIGIR Conference + on Research and Development in Information Retrieval. Pittsburgh, + PA, USA, June 27 -- July 1, 1993}, + booktitle = {Proceedings of the 16\textsuperscript{th} Annual International ACM-SIGIR Conference + on Research and Development in Information Retrieval}, + publisher = {ACM}, + year = {1993}} + +@PROCEEDINGS{wikisym06, + title = {International Symposium on Wikis (WikiSym)}, + year = 2006, + eventdate = {2006-08-21/2006-08-23}, + venue = {Odense, Denmark}, + editor = {Dirk Riehle and James Noble}, + series = {ACM Press}, + booktitle = {Proceedings of the International Symposium on Wikis (WikiSym)}, + url = {http://www.wikisym.org/ws2006/proceedings/}} + +@PROCEEDINGS{wikisym07, + title = {International Symposium on Wikis (WikiSym)}, + year = 2007, + eventdate = {2007-10-21/2007-10-25}, + venue = {Montreal, Quebec, Canada}, + editor = {Alain D{\'e}silets and Robert Biddle}, + series = {ACM Press}, + booktitle = {Proceedings of the International Symposium on Wikis (WikiSym)}, + url = {http://www.wikisym.org/ws2007/proceedings/}} + +@PROCEEDINGS{wikisym08, + title = {4\textsuperscript{th} International Symposium on Wikis (WikiSym)}, + year = 2008, + eventdate = {2008-09-08/2008-09-10}, + venue = {Porto, Portugal}, + editor = {Ademar Aguiar and Mark Bernstein}, + series = {ACM Press}, + booktitle = {Proceedings of the 4\textsuperscript{th} International Symposium on Wikis (WikiSym)}, + url = {http://www.wikisym.org/ws2008/proceedings/}} + +@PROCEEDINGS{wikisym09, + title = {5\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, + year = 2009, + eventdate = {2009-10-25/2009-10-27}, + venue = {Orlando, Florida}, + editor = {Dirk Riehle and Amy Bruckman}, + series = {ACM Press}, + booktitle = {Proceedings of the 5\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, + url = {http://www.wikisym.org/ws2009/proceedings/}} + +@PROCEEDINGS{wikisym10, + title = {6\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, + year = 2010, + eventdate = {2010-07-07/2010-07-09}, + venue = {Gdansk, Poland}, + editor = {Phoebe Ayers and Felipe Ortega}, + series = {ACM Press}, + booktitle = {Proceedings of the 6\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, + url = {http://www.wikisym.org/ws2010/Proceedings/}} + +@PROCEEDINGS{TLCA97, + title = {Proceedings of the 3\textsuperscript{rd} International Conference on Typed Lambda Calculus and Applications}, + booktitle = {Proceedings of the 3\textsuperscript{rd} International Conference on Typed Lambda Calculus and Applications}, + year = {1997}, + editor = {P. {de Groote} and J. R. Hindley}, + number = {1210}, + series = {LNCS}, + venue = {Nancy, France}, + eventdate = 1997, + publisher = {Springer Verlag}} + +@PROCEEDINGS{OM09, + editor = {James H. Davenport}, + title = {22\textsuperscript{nd} OpenMath Workshop}, + booktitle = {22\textsuperscript{nd} OpenMath Workshop}, + url = {http://staff.bath.ac.uk/masjhd/OM2009.html}, + year = {2009}, + month = jul} + +@Proceedings{DML08, + title = {Towards Digital Mathematics Library, Proceedings of the DML 2008 workshop}, + booktitle = {Towards Digital Mathematics Library, Proceedings of the DML 2008 workshop}, + year = 2008, + editor = {Petr Sojka}, + publisher = {Masaryk University, Brno}} + +@Proceedings{DML09:biblatex, + title = {Towards Digital Mathematics Library}, + booktitle = {Towards Digital Mathematics Library}, + eventtitle = {DML 2009 workshop}, + eventdate = {2009-07-08/2009-07-09}, + venue = {Grand Bend, Ontario, Canada}, + year = 2009, + editor = {Petr Sojka}, + publisher = {Masaryk University Press, Brno}} + +@Proceedings{DML09, + title = {Towards Digital Mathematics Library, DML 2009 workshop}, + booktitle = {Towards Digital Mathematics Library, DML 2009 workshop}, + year = 2009, + editor = {Petr Sojka}, + publisher = {Masaryk University, Brno}} + +@Proceedings{DML10, + title = {Towards Digital Mathematics Library, DML workshop}, + booktitle = {Towards Digital Mathematics Library, DML workshop}, + year = 2010, + editor = {Petr Sojka}, + publisher = {Masaryk University, Brno}} + +@Proceedings{DML11, + title = {Towards Digital Mathematics Library, DML workshop}, + booktitle = {Towards Digital Mathematics Library, DML workshop}, + year = 2011, + editor = {Petr Sojka}, + publisher = {Masaryk University, Brno}} + +@Proceedings{SIGDoc08, + title = {Proceedings of the 26\textsuperscript{th} annual ACM international conference on Design of communication}, + booktitle = {Proceedings of the 26\textsuperscript{th} annual ACM international conference on Design of communication}, + year = 2008, + editor = {Carlos J. Costa and Aristidis Protopsaltis and Manuela Aparicio and Henrique O'Neill}, + organization = {ACM Special Interest Group for Design of Communication}, + publisher = {ACM Press}} + +@Proceedings{SIGDOC11, + title = {Proceedings of the 29\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, + booktitle = {Proceedings of the 29\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, + year = 2011, + FINDOUTeditor = {Brad Mehlenbacher and Aristidis Protopsaltis and Ashley Williams and Shaun Slatterey}, + organization = {ACM Special Interest Group for Design of Communication}, + publisher = {ACM Press}, + address = {New York, NY, USA}, + FINDOUTdoi = {10.1145/1621995.1622013}, + venue = {Pisa, Italy}, + CHANGEeventdate = 2011} + +@Proceedings{SIGDOC10, + title = {Proceedings of the 28th ACM International Conference on Design of Communication}, + booktitle = {Proceedings of the 28th ACM International Conference on Design of Communication}, + series = {SIGDOC '10}, + year = {2010}, + isbn = {978-1-4503-0403-0}, + location = {S\~ao Carlos, S\~ao Paulo, Brazil}, + organization = {ACM Special Interest Group for Design of Communication}, + publisher = {ACM Press}, + address = {New York, NY, USA}, + doi = {10.1145/1621995.1622013}, + venue = {Bloomington, Indiana, USA}, + eventdate = 2009} + +@Proceedings{SIGDOC09, + title = {Proceedings of the 27\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, + booktitle = {Proceedings of the 27\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, + year = 2009, + editor = {Brad Mehlenbacher and Aristidis Protopsaltis and Ashley Williams and Shaun Slatterey}, + organization = {ACM Special Interest Group for Design of Communication}, + publisher = {ACM Press}, + address = {New York, NY, USA}, + doi = {10.1145/1621995.1622013}, + venue = {Bloomington, Indiana, USA}, + eventdate = 2009} + +@Proceedings{FM09, + title = {16\textsuperscript{th} International Symposium on Formal Methods (FM 2009)}, + booktitle = {16\textsuperscript{th} International Symposium on Formal Methods (FM 2009)}, + editor = {Ana Cavalcanti and Dennis Dams}, + publisher = {Springer Verlag}, + series = {LNCS}, + number = {5850}, + year = {2009}} + +@Proceedings{BALISAGE09:biblatex, + title = {Proceedings of Balisage: The Markup Conference}, + booktitle = {Proceedings of Balisage: The Markup Conference}, + volume = 3, + publisher = {Mulberry Technologies, Inc.}, + series = {Balisage Series on Markup Technologies}, + year = {2009}} + +@Proceedings{BALISAGE09, + title = {Proceedings of Balisage: The Markup Conference 2009}, + booktitle = {Proceedings of Balisage: The Markup Conference 2009}, + url = {http://www.balisage.net/Proceedings/vol3/cover.html}, + note = {available at \url{http://www.balisage.net/Proceedings/vol3/}}, + publisher = {Mulberry Technologies, Inc.}, + series = {Balisage Series on Markup Technologies}, + year = {2009}} + +@Proceedings{BALISAGE10:biblatex, + title = {Proceedings of Balisage: The Markup Conference}, + booktitle = {Proceedings of Balisage: The Markup Conference}, + url = {http://www.balisage.net/Proceedings/vol5/cover.html}, + volume = 5, + publisher = {Mulberry Technologies, Inc.}, + series = {Balisage Series on Markup Technologies}, + year = {2010}} + +@Proceedings{BALISAGE11:biblatex, + title = {Proceedings of Balisage: The Markup Conference}, + booktitle = {Proceedings of Balisage: The Markup Conference}, + url = {http://www.balisage.net/Proceedings/vol7/cover.html}, + volume = 7, + publisher = {Mulberry Technologies, Inc.}, + series = {Balisage Series on Markup Technologies}, + year = {2011}} + +@Proceedings{BALISAGE10, + title = {Proceedings of Balisage: The Markup Conference 2010}, + booktitle = {Proceedings of Balisage: The Markup Conference 2010}, + url = {http://www.balisage.net/Proceedings/vol3/}, + note = {available at \url{http://www.balisage.net/Proceedings/vol3/}}, + publisher = {Mulberry Technologies, Inc.}, + series = {Balisage Series on Markup Technologies}, + year = {2010}} + +@Book{BKB60, + editor = {Berthold Hoffmann and Bernd Gersdorf and Christoph L{\"u}th and Till Mossakowski and Thomas R{\"o}fer and +Lutz Schr{\"o}der and Shi Hui and Mattias Werner}, + publisher = {DFKI}, + year = 2009, + title = {Festschrift in Honour of Bernd Krieg-Br{\"u}ckner's 60\textsuperscript{th} Birthday}, + booktitle = {Festschrift in Honour of Bernd Krieg-Br{\"u}ckner's 60\textsuperscript{th} Birthday}} + + + +@Proceedings{IWCS99, + year = {1999}, + booktitle = {Proceedings of {IWCS} {III} (Third International Workshop on Computational + Semantics)}, + title = {Proceedings of {IWCS} {III} (Third International Workshop on Computational + Semantics)}, + editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet}, + address = {Tilburg}} + +@Proceedings{iwcs2,crossref={IWCS97}} +@Proceedings{IWCS97, + booktitle = {Proceedings of {IWCS} {II} (Second International Workshop on Computational + Semantics)}, + title = {Proceedings of {IWCS} {II} (Second International Workshop on Computational + Semantics)}, + year = {1997}, + editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet}, + address = {Tilburg}} + + +@Proceedings{iwcs1,crossref={IWCS94}} +@Proceedings{IWCS94, + booktitle = {International {Workshop} on {Computational} {Semantics}}, + title = {International {Workshop} on {Computational} {Semantics}}, + year = {1994}, + editor = {Harry Bunt and Reinhard Muskens and Gerrit Rentier}, + address = {Tilburg}} + +@proceedings{DBLP:conf/icsoc/2005, + editor = {Boualem Benatallah and + Fabio Casati and + Paolo Traverso}, + title = {Service-Oriented Computing -- ICSOC 2005, Third International + Conference, Amsterdam, The Netherlands, December 12-15, + 2005, Proceedings}, + booktitle = {ICSOC}, + publisher = {Springer}, + series = {LNCS}, + number = {3826}, + year = {2005}, + isbn = {3-540-30817-2}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + + +@proceedings{DBLP:conf/vl/2005, + title = {2005 IEEE Symposium on Visual Languages and Human-Centric + Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, + USA}, + booktitle = {VL/HCC}, + publisher = {IEEE Computer Society}, + year = {2005}, + isbn = {0-7695-2443-5}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@Proceedings{EUSPRIG13, + title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013)}, + booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013)}, + CHANGEeditor={Simon Thorne}, + CHANGEpublisher = {European Spreadsheet Risk Interest Group}, + CHANGEisbn = {978-1-905404-50-6}, + year = 2013} + +@Proceedings{EUSPRIG10, + title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010)}, + booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010)}, + editor={Simon Thorne}, + publisher = {European Spreadsheet Risk Interest Group}, + isbn = {978-1-905404-50-6}, + year = 2010} + +@Proceedings{EUSPRIG07, + title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2007)}, + booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2007)}, + year = 2007} + +@Proceedings{EUSPRIG05, + title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2005)}, + booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2005)}, + year = 2005} + +@Proceedings{EUSPRIG01, + title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2001)}, + booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2001)}, + year = 2001} + +@Proceedings{EUSPRIG00, + title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2000)}, + booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2000)}, + year = 2000} + +@Proceedings{LinkedAI2010, + year = {2010}, + editor = {Dan Brickley and Vinay K. Chaudhri and Harry Halpin and Deborah L. McGuinness}, + booktitle = {Proceedings of the AAAI Spring Symposium on Linked Data Meets Artificial Intelligence}, + title = {Proceedings of the AAAI Spring Symposium on Linked Data Meets Artificial Intelligence}} + +@proceedings{DBLP:conf/kcap/2007womo, + editor = {Bernardo Cuenca Grau and + Vasant Honavar and + Anne Schlicht and + Frank Wolter}, + title = {Proceedings of the 2\textsuperscript{nd} International Workshop on Modular + Ontologies (WoMO) 2007}, + venue = {Whistler, Canada}, + eventdate = {2007-10-28}, + booktitle = {WoMO}, + url = {http://ceur-ws.org/Vol-315}, + publisher = {CEUR-WS.org}, + address = {Aachen}, + series = {CEUR Workshop Proceedings}, + number = {315}, + year = {2008}, + bibsource = {DBLP, http://dblp.uni-trier.de}} + +@proceedings{SOFSEM2010, + editor = {Jan van Leeuwen and + Anca Muscholl and + David Peleg and + Jaroslav Pokorn{\'y} and + Bernhard Rumpe}, + title = {{SOFSEM}: Theory and Practice of Computer Science}, + booktitle = {{SOFSEM}: Theory and Practice of Computer Science}, + eventtitle = {36\textsuperscript{th} Conference on Current Trends in Theory and Practice of Computer Science}, + venue = {{\v S}pindler{\r u}v Ml{\'y}n, Czech Republic}, + eventdate = {2010-01-23/2010-01-29}, + publisher = {Springer}, + series = {LNCS}, + number = 5901, + year = 2010, + isbn = {978-3-642-11265-2}, + doi = {10.1007/978-3-642-11266-9}} + +@Proceedings{ICM2002, + title = {Electronic Information and Communication in Mathematics}, + booktitle = {Electronic Information and Communication in Mathematics}, + eventtitle = {ICM International Satellite Conference}, + venue = {Beijing, China}, + eventdate = {2002-08-29/2002-08-31}, + year = 2003, + editor = {Fengshan Bai and Bernd Wegner}, + number = 2730, + series = {LNCS}, + publisher = {Springer}} + +@proceedings{eunis2001, + editor = {Jan von Knop and + Peter Schirmbacher and + Viljan Mahnic}, + title = {The Changing Universities -- The Role of Technology}, + eventtitle = {7\textsuperscript{th} International Conference of European University Information + Systems}, + eventdate = {2001-03-28/2001-03-30}, + venue = {Berlin, Germany}, + booktitle = {EUNIS}, + publisher = {GI}, + series = {LNI}, + number = 13, + year = 2002, + isbn = {3-88579-339-3}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@Proceedings{ACA2008, + title = {Applications for Computer Algebra}, + year = 2008, + booktitle = {Applications for Computer Algebra}, + editor = {Elena Smirnova and Stephen M. Watt}, + eventdate = {2008-07-27/2008-07-30}, + venue = {RISC, Linz, Austria}} + +@PROCEEDINGS{KI10, + title = {Proceedings of the 33.rd Annual German Conference on Artificial Intelligence + KI'10}, + year = {2010}, + editor = {R{\"u}diger Dillmann and J{\"u}rgen Beyerer and Uwe D. Hanebeck and Tanja Schultz}, + number = {6359}, + series = {LNAI}, + address = {Karlsruhe, Germany}, + booktitle = {KI 2010: Advances in Artificial Intelligence}, +} + + + +@Proceedings{MALOG10, + booktitle = {1\textsuperscript{st} International Workshop on Mathematics and ICT: Education, Research and Applications}, + venue = {Bucharest, Romania}, + eventdate = {2010-11-03}, + year = {2010}, + editor = {Ion Mierlus-Mazilu}, + url = {http://civile.utcb.ro/malog/}} + +@Proceedings{iswc2009, + title = {The Semantic Web -- ISWC 2009}, + booktitle = {The Semantic Web -- ISWC 2009}, + eventtitle = {8\textsuperscript{th} International Semantic Web Conference (ISWC)}, + year = 2009, + editor = {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan}, + number = {5823}, + series = {LNCS}, + month = oct, + publisher = {Springer Verlag}} + +@proceedings{iswc2011-1, + editor = {Lora Aroyo and + Chris Welty and + Harith Alani and + Jamie Taylor and + Abraham Bernstein and + Lalana Kagal and + Natasha Fridman Noy and + Eva Blomqvist}, + title = {The Semantic Web (Part I)}, + booktitle = {The Semantic Web (Part I)}, + eventtitle = {10\textsuperscript{th} International Semantic Web Conference (ISWC)}, + venue = {Bonn, Germany}, + eventdate = {2011-10-23/2011-10-27}, + publisher = {Springer}, + series = {LNCS}, + number = {7031}, + year = {2011}, + isbn = {978-3-642-25072-9}, +} + +@proceedings{DOCENG10, + editor = {Michael Gormish and Rolf Ingold}, + title = {Proceedings of the 10\textsuperscript{th} ACM symposium on Document engineering}, + booktitle = {Proceedings of the 10\textsuperscript{th} ACM symposium on Document engineering}, + series = {DocEng '10}, + year = {2010}, + isbn = {978-1-4503-0231-9}, + location = {Manchester, United Kingdom}, + publisher = {ACM}, + address = {New York, NY, USA}} +@proceedings{Wiedijk2006provers, + editor = {Freek Wiedijk}, + title = {The Seventeen Provers of the World, Foreword by Dana S. + Scott}, + booktitle = {The Seventeen Provers of the World}, + publisher = {Springer}, + series = {LNCS}, + number = {3600}, + year = {2006}, + isbn = {3-540-30704-4}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@proceedings{cnl2009, + editor = {Norbert E. Fuchs}, + booktitle = {Controlled Natural Language, Workshop on Controlled Natural Language, + CNL 2009. Revised Papers}, + title = {Controlled Natural Language, Workshop on Controlled Natural Language, + CNL 2009. Revised Papers}, + publisher = {Springer}, + series = {LNCS}, + number = {5972}, + year = {2010}, + isbn = {978-3-642-14417-2}, + doi = {10.1007/978-3-642-14418-9}, + ee = {http://dx.doi.org/10.1007/978-3-642-14418-9}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@Proceedings{EduMedia2007, + title = {EduMedia}, + year = 2007, + booktitle = {Offene Bildung im/mit dem Web 2.0!?!}, + editor = {Veronika Hornung-Pr{\"a}hauser}, + publisher = {Salzburg Research}, + url = {http://edumedia.salzburgresearch.at}, + note = {3. Interdisziplin{\"a}re EduMedia Tagung, 16.-17. April 2007, Salzburg}} +@collection{LNCS:OCaSC, + title = {{LNCS: Online Communities and Social Computing}}, + year = {2007}, + isbn = {978-3-540-73256-3}, + doi = {10.1007/978-3-540-73257-0}, + url = {http://doi.acm.org/10.1007/978-3-540-73257-0}, + number = {4564}, + publisher = {Springer Berlin/ Heidelberg}} + + +@Proceedings{ISWC2011PD, + title = {Posters and Demos at the 10\textsuperscript{th} International Semantic Web Conference (ISWC)}, + booktitle = {Posters and Demos at the 10\textsuperscript{th} International Semantic Web Conference (ISWC)}, + year = 2011, + editor = {Marta Sabou and Guilin Qi}, + url = {http://iswc2011.semanticweb.org/program/posters-and-demos/} +} + + +@Proceedings{ASE00, + booktitle = {Proceedings 15\textsuperscript{th} IEEE International Conference on Automated Software Engineering, ASE-2000}, + publisher = {IEEE Computer Society}, + year = {2000}} + +@Proceedings{ASE01, + title = {Proceedings 16\textsuperscript{th} IEEE International Conference on Automated Software Engineering, ASE-2001}, + booktitle = {Proceedings 16\textsuperscript{th} IEEE International Conference on Automated Software Engineering, ASE-2001}, + address = {San Diego, USA}, + publisher = {IEEE Computer Society}, + year = 2001} + +@InProceedings{ASE05, + booktitle = {20\textsuperscript{th} IEEE/ACM International Conference on Automated Seofware Engineering}, + title = {20\textsuperscript{th} IEEE/ACM International Conference on Automated Seofware Engineering}, + publisher = {IEEE Computer Society}, + year = 2005} + + +@PROCEEDINGS{CALCULEMUS02-wip, + title = {Calculemus 2002 --- 10\textsuperscript{th} Symposium on the Integration of Symbolic + Computation and Mechanized Reasoning --- Work in Progress Papers}, + year = {2002}, + editor = {Olga Caprotti and Volker Sorge}, + number = {SR--02--04}, + address = {Marseille, France}, + publisher = {Dept. of Computer Science, Saarland University, Saarbr{\"u}cken, Germany}, + booktitle = {Calculemus 2002 --- 10\textsuperscript{th} Symposium on the Integration of Symbolic + Computation and Mechanized Reasoning --- Work in Progress Papers}, + type = {Seki Report}} + +@PROCEEDINGS{ECAI02-CMNLA, + title = {Proceedings of the ECAI 2002 Workshop on Computational Models of + Natural Argument}, + year = {2002}, + editor = {Giuseppe Carenini and Floriana Grasso and Chris Reed}, + address = {Lyon France }} + +@PROCEEDINGS{CALCULEMUS98, + title = {6\textsuperscript{th} CALCULEMUS and TYPES Workshop}, + year = {1998}, + editor = {Arjeh Cohen and Henk Barendregt}, + address = {Eindhoven, The Netherlands}, + url = {http://www.win.tue.nl/math/dw/pp/calc/proceedings.html}, + month = jul, + booktitle = {6\textsuperscript{th} CALCULEMUS and TYPES Workshop}} + +@Book{ReDeRa:SWE07, + year = 2008, + month = apr, + editor = {J{\"o}rg Rech and Bj{\"o}rn Decker and Eric Ras}, + title = {Emerging Technologies for Semantic Work Environments: Techniques, + Methods, and Applications}, + booktitle = {Emerging Technologies for Semantic Work Environments: Techniques, + Methods, and Applications}, + publisher = {IGI Global}, + doi = {10.4018/978-1-59904-877-2}, + url = {http://www.igi-global.com/reference/details.asp?ID=7543}} + +@MISC{wikipedia, + title = {Wikipedia, the free encyclopedia}, + howpublished = {\url{http://www.wikipedia.org}}, + editor = {{Wikimedia Foundation}}, + year = {2001--2007}, + key = {Wikipedia}, + url = {http://www.wikipedia.org}} + +@proceedings{geos2011, + editor = {Christophe Claramunt and Sergei Levashkin and Michela Bertolotto}, + eventtitle = {GeoSpatial Semantics (GeoS) -- 4th International Conference}, + title = {GeoSpatial Semantics (GeoS) -- 4th International Conference}, + venue = {Brest, France}, + eventdate = {2011-05-12/2011-05-13}, + booktitle = {GeoS}, + publisher = {Springer}, + series = {LNCS}, + number = 6631, + year = 2011, + isbn = {978-3-642-20629-0}} + +@collection{HorLucKal:sli08, + title = {{Selbstorganisiertes Lernen im Internet}}, + booktitle = {{Selbstorganisiertes Lernen im Internet}}, + year = {2008}, + editor = {Veronika Hornung-Pr{\"a}hauser and Michaela Luckmann and Marco Kalz}, + publisher = {Studienverlag}} + + +@Book{BenBroSieSta:fhpab08, + editor = {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg Siekmann and Rick Statman}, + bookitle = {Festschrift in honour of Peter B.~Andrews On his 70\textsuperscript{th} Birthday}, + title = {Festschrift in honour of Peter B.~Andrews On his 70\textsuperscript{th} Birthday}, + publisher = {College Publications}, + year = 2008} + +@Book{BunKieMus:cmii01, + year = {2001}, + booktitle = {Computing Meaning (Volume 2)}, + title = {Computing Meaning (Volume 2)}, + editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet}, + publisher = {Kluwer Academic Publishers} +} + +@proceedings{DBLP:conf/icse/2011, + editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic}, + title = {Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011}, + booktitle = {ICSE}, + publisher = {ACM}, + year = {2011}, + isbn = {978-1-4503-0445-0}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@PROCEEDINGS{SYNASC03, + booktitle = {5\textsuperscript{th} International Workshop on Symbolic and Numeric Algorithms for + Scientific Computing (SYNASC 03)}, + title = {5\textsuperscript{th} International Workshop on Symbolic and Numeric Algorithms for + Scientific Computing (SYNASC 03)}, + year = {2003}, + editor = {D. Petcu and D. Zaharie and V. Negru and T. Jebelean}, + address = {Timisoara, Romania}, + publisher = {Mirton Publishing Company}} + +@PROCEEDINGS{SYNASC13, + booktitle = {14th International Workshop on Symbolic and Numeric Algorithms for + Scientific Computing (SYNASC 2012)}, + title = {International Workshop on Symbolic and Numeric Algorithms for + Scientific Computing (SYNASC 2012)}, + year = {2013}, + editor = {Andrei Voronkov and +Viorel Negru and +Tetsuo Ida and +Tudor Jebelean and +Dana Petcu and +Stephen M. Watt and +Daniela Zaharie}, + publisher = {IEEE Press}, + isbn = {978-1-4673-5026-6}, + ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6480928}, + address = {Timisoara, Romania}} + + +@PROCEEDINGS{OSEMA2011, + booktitle = {1\textsuperscript{st} Workshop on Ontology and Semantic Web for Manufacturing}, + year = 2011, + editor = {Garc{\'i}a Castro, Alexander and Carlos Toro and Luis Ramos and Lutz Schr{\"o}der}, + number = 748, + series = {CEUR Workshop Proceedings}, + address = {Aachen}, + issn = {1613-0073}, + url = {http://ceur-ws.org/Vol-748}, + venue = {Hersonissos, Crete, Greece}, + eventdate = {2011-05-29}, + title = {Proceedings of the 1\textsuperscript{st} Workshop on Ontology and Semantic Web for Manufacturing, {Extended} {Semantic} {Web} {Conference}}, +} + +@Proceedings{ACL10, + title = {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics}, + booktitle = {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics}, + year = 2010, + month = {July}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{ACL11, + title = {Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics}, + booktitle = {Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics}, + year = 2011, + month = {June}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{ACL08, + title = {Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics}, + booktitle = {Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics}, + year = 2008, + month = {June}, + publisher = {Association for Computational Linguistics}} + + +@Proceedings{CEMNLP08, + title = {Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing}, + booktitle = {Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing}, + year = 2008, + month = {October}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{CEMNLP09, + title = {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing}, + booktitle = {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing}, + year = 2009, + month = {August}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{CEMNLP10, + title = {Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing}, + booktitle = {Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing}, + year = 2010, + month = {October}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{CEMNLP11, + title = {Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing}, + booktitle = {Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing}, + year = 2011, + month = {July}, + publisher = {Association for Computational Linguistics}} + + +@Proceedings{CEMNLP-CNLL12, + title = {Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning}, + booktitle = {Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning}, + year = 2012, + month = {July}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{SIGKDD01, + title = {Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining}, + booktitle = {Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining}, + year = 2001, + month = {August}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{HLT-NAACL10, + title = {Human language technologies: The 2010 annual conference of the North American chapter of the association for computational linguistics}, + booktitle = {Human language technologies: The 2010 annual conference of the North American chapter of the association for computational linguistics}, + year = 2010, + month = {June}, + publisher = {Association for Computational Linguistics}} + +@Proceedings{HLT-NAACL08, + title = {Human language technologies: The 2008 annual conference of the North American chapter of the association for computational linguistics}, + booktitle = {Human language technologies: The 2008 annual conference of the North American chapter of the association for computational linguistics}, + year = 2008, + publisher = {Association for Computational Linguistics}} + +@Proceedings{HLT-NAACL07, + title = {Human language technologies: The 2007 annual conference of the North American chapter of the association for computational linguistics}, + booktitle = {Human language technologies: The 2007 annual conference of the North American chapter of the association for computational linguistics}, + year = 2007, + publisher = {Association for Computational Linguistics}} + +@proceedings{INTERACT13a, + editor = {Paula Kotz\'{e} and Gary Marsden and Gitte Lindgaard and Janet Wesson and Marco Winckler}, + booktitle = {Human-Computer Interaction -- INTERACT 2013}, + title = {Human-Computer Interaction -- INTERACT 2013}, + publisher = {Springer}, + location = {Heidelberg}, + series = {LNCS}, + number = {8119}, + year = {2013}, + isbn = {978-3-642-40476-4} +} + +@proceedings{INTERACT13b, + editor = {Paula Kotz\'{e} and Gary Marsden and Gitte Lindgaard and Janet Wesson and Marco Winckler}, + booktitle = {Human-Computer Interaction -- INTERACT 2013}, + title = {Human-Computer Interaction -- INTERACT 2013}, + publisher = {Springer}, + location = {Heidelberg}, + series = {LNCS}, + number = {8120}, + year = {2013}, + isbn = {978-3-642-40497-9} +} + +@proceedings{IWSECO12, + editor = {Slinger Jansen and Jan Bosch and Carina Frota Alves}, + title = {Proceedings of the Forth International Workshop on Software Ecosystems, Cambridge, MA, USA, June 18th, 2012}, + booktitle = {IWSECO@ICSOB}, + publisher = {CEUR-WS.org}, + series = {CEUR Workshop Proceedings}, + number = {879}, + year = {2012}, + ee = {http://ceur-ws.org/Vol-879}, +} + +@proceedings{DBLP:conf/mc/2007, + editor = {Tom Gross}, + title = {Mensch {\&} Computer 2007: Konferenz f{\"u}r interaktive + und kooperative Medien, Bauhaus-Universit{\"a}t Weimar, + Weimar, Germany, 2-5 September 2007}, + booktitle = {Mensch {\&} Computer}, + publisher = {Oldenbourg Verlag}, + year = {2007}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} |