extcrossrefs.bib

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

@collection{NTCIR:eirat20,
  title = {Evaluating Information Retrieval and Access Tasks -- {NTCIR}'s Legacy of Research Impact},
  booktitle = {Evaluating Information Retrieval and Access Tasks -- {NTCIR}'s Legacy of Research Impact},
  editor = {Sakai, Tetsuya and Oard, Douglas W. and Kando, Noriko},
  publisher = {Springer},
  url = {https://www.springer.com/gp/book/9789811555534},
  year = {2020}}
  
@proceedings{CICM20,
  label = {CICM},
  editor = {Benzm{\"u}ller, Christoph and Miller, Bruce},
  title = {Intelligent Computer Mathematics},
  booktitle = {Intelligent Computer Mathematics ({CICM}) 2020},
  publisher = {Springer},
  series    = {LNAI},
  volume = {12236},
  year = {2020},
  isbn = {978-3-030-53518-6},
  keywords = {conference}}

@proceedings{ICMS20,
    booktitle = {Mathematical Software -- ICMS 2020. 7th international conference},
    title = {Mathematical Software -- ICMS 2020. 7th international conference},
    editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo},
    series = {LNCS},
    volume = {12097},
    publisher = {Springer},
    ISBN = {978-3-030-52199-8},
    year = {2020},
    keywords = {conference}}
    
@collection{GabSieWoo:cl14,
  booktitle = {Computational Logic},
  title = {Computational Logic},
  editor = {Dov M. Gabbay and Jörg Siekmann and John Woods},
  isbn = {9780444516244},
  publisher  = {North Holland},
  year = {2014}}

@proceedings{LWDA19,
  editor    = {Robert J{\"{a}}schke and Matthias Weidlich},
  title     = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
  booktitle     = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
  volume    = {2454},
  series    = {{CEUR} Workshop Proceedings},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2454}}

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

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

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

@proceedings{IJCAR18,
  booktitle = {9th International Joint Conference on Automated Reasoning},
  title = {9th International Joint Conference on Automated Reasoning},
  editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  publisher = {Springer Verlag},
  year = {2018},
  keywords = {conference}}

@proceedings{IJCAR20,
  booktitle = {10th International Joint Conference on Automated Reasoning ({IJCAR} 2020)},
  title = {10th International Joint Conference on Automated Reasoning ({IJCAR} 2020)},
  editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
  publisher = {Springer Verlag},
  year = {2020},
  keywords = {conference}}
  
@proceedings{DOCENG13,
 editor    = {Simone Marinai and Kim Marriott},
 title = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
 booktitle = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
 keywords = {conference},
 year = {2013},
 isbn = {978-1-4503-1789-4},
 location = {Florence, Italy}}

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

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

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

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

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

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

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

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

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