BibTeX records: Volker Sorge

download as .bib file

@inproceedings{DBLP:conf/w4a/CervoneS19,
  author    = {Davide Cervone and
               Volker Sorge},
  title     = {Adaptable Accessibility Features for Mathematics on the Web},
  booktitle = {Proceedings of the 16th Web For All 2019 Conference - Personalizing
               the Web, {W4A} 2019, San Francisco, CA, USA, May 13-15, 2019.},
  pages     = {17:1--17:4},
  year      = {2019},
  crossref  = {DBLP:conf/w4a/2019},
  url       = {https://doi.org/10.1145/3315002.3317567},
  doi       = {10.1145/3315002.3317567},
  timestamp = {Fri, 09 Aug 2019 12:53:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/CervoneS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hci/SorgeABG19,
  author    = {Volker Sorge and
               Dragan Ahmetovic and
               Cristian Bernareggi and
               John Gardner},
  title     = {Scientific Documents},
  booktitle = {Web Accessibility - {A} Foundation for Research, Second Edition},
  pages     = {397--415},
  year      = {2019},
  crossref  = {DBLP:series/hci/YesiladaH19},
  url       = {https://doi.org/10.1007/978-1-4471-7440-0\_22},
  doi       = {10.1007/978-1-4471-7440-0\_22},
  timestamp = {Wed, 05 Jun 2019 10:30:46 +0200},
  biburl    = {https://dblp.org/rec/bib/series/hci/SorgeABG19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/GodfreyMS18,
  author    = {A. Jonathan R. Godfrey and
               Paul Murrell and
               Volker Sorge},
  title     = {An Accessible Interaction Model for Data Visualisation in Statistics},
  booktitle = {Computers Helping People with Special Needs - 16th International Conference,
               {ICCHP} 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part {I}},
  pages     = {590--597},
  year      = {2018},
  crossref  = {DBLP:conf/icchp/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-94277-3\_92},
  doi       = {10.1007/978-3-319-94277-3\_92},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icchp/GodfreyMS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/VeldS18,
  author    = {Dorine in 't Veld and
               Volker Sorge},
  title     = {The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually
               Impaired},
  booktitle = {Computers Helping People with Special Needs - 16th International Conference,
               {ICCHP} 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part {I}},
  pages     = {644--647},
  year      = {2018},
  crossref  = {DBLP:conf/icchp/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-94277-3\_99},
  doi       = {10.1007/978-3-319-94277-3\_99},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icchp/VeldS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w4a/2018,
  editor    = {Elaine Pearson and
               Volker Sorge},
  title     = {The 15th Web for All Conference, {W4A} 2018, Lyon, France, April 23-25,
               2018, Proceedings},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3192714},
  doi       = {10.1145/3192714},
  isbn      = {978-1-4503-5651-0},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w4a/FitzpatrickGS17,
  author    = {Donal Fitzpatrick and
               A. Jonathan R. Godfrey and
               Volker Sorge},
  title     = {Producing Accessible Statistics Diagrams in {R}},
  booktitle = {Proceedings of the 14th Web for All Conference, {W4A} 2017: The Future
               of Accessible Work, Perth, Western Australia, Australia, April 2-4,
               2017},
  pages     = {22:1--22:4},
  year      = {2017},
  crossref  = {DBLP:conf/w4a/2017},
  url       = {https://doi.org/10.1145/3058555.3058564},
  doi       = {10.1145/3058555.3058564},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/FitzpatrickGS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/Sorge16,
  author    = {Volker Sorge},
  title     = {Supporting Visual Impaired Learners in Editing Mathematics},
  booktitle = {Proceedings of the 18th International {ACM} {SIGACCESS} Conference
               on Computers and Accessibility, {ASSETS} 2016, Reno, NV, USA, October
               23-26, 2016},
  pages     = {323--324},
  year      = {2016},
  crossref  = {DBLP:conf/assets/2016},
  url       = {https://doi.org/10.1145/2982142.2982212},
  doi       = {10.1145/2982142.2982212},
  timestamp = {Tue, 06 Nov 2018 16:57:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/assets/Sorge16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/CervoneKS16,
  author    = {Davide Cervone and
               Peter Krautzberger and
               Volker Sorge},
  title     = {Employing semantic analysis for enhanced accessibility features in
               MathJax},
  booktitle = {13th {IEEE} Annual Consumer Communications {\&} Networking Conference,
               {CCNC} 2016, Las Vegas, NV, USA, January 9-12, 2016},
  pages     = {1129--1134},
  year      = {2016},
  crossref  = {DBLP:conf/ccnc/2016},
  url       = {https://doi.org/10.1109/CCNC.2016.7444948},
  doi       = {10.1109/CCNC.2016.7444948},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccnc/CervoneKS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/Sorge16,
  author    = {Volker Sorge},
  title     = {Polyfilling Accessible Chemistry Diagrams},
  booktitle = {Computers Helping People with Special Needs - 15th International Conference,
               {ICCHP} 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part {I}},
  pages     = {43--50},
  year      = {2016},
  crossref  = {DBLP:conf/icchp/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-41264-1\_6},
  doi       = {10.1007/978-3-319-41264-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icchp/Sorge16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w4a/CervoneKS16,
  author    = {Davide Cervone and
               Peter Krautzberger and
               Volker Sorge},
  title     = {Towards universal rendering in MathJax},
  booktitle = {Proceedings of the 13th Web for All Conference, {W4A} '16, Montreal,
               Canada, April 11-13, 2016},
  pages     = {4:1--4:4},
  year      = {2016},
  crossref  = {DBLP:conf/w4a/2016},
  url       = {https://doi.org/10.1145/2899475.2899494},
  doi       = {10.1145/2899475.2899494},
  timestamp = {Tue, 06 Nov 2018 16:58:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/CervoneKS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/SarouiS15,
  author    = {Behrang Sabeghi Saroui and
               Volker Sorge},
  title     = {Trajectory recovery and stroke reconstruction of handwritten mathematical
               symbols},
  booktitle = {13th International Conference on Document Analysis and Recognition,
               {ICDAR} 2015, Nancy, France, August 23-26, 2015},
  pages     = {1051--1055},
  year      = {2015},
  crossref  = {DBLP:conf/icdar/2015},
  url       = {https://doi.org/10.1109/ICDAR.2015.7333922},
  doi       = {10.1109/ICDAR.2015.7333922},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/SarouiS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w4a/SorgeLW15,
  author    = {Volker Sorge and
               Mark Lee and
               Sandy Wilkinson},
  title     = {End-to-end solution for accessible chemical diagrams},
  booktitle = {Proceedings of the 12th Web for All Conference, {W4A} '15, Florence,
               Italy, May 18-20, 2015},
  pages     = {6:1--6:10},
  year      = {2015},
  crossref  = {DBLP:conf/w4a/2015},
  url       = {https://doi.org/10.1145/2745555.2746667},
  doi       = {10.1145/2745555.2746667},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/SorgeLW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2015,
  editor    = {Manfred Kerber and
               Jacques Carette and
               Cezary Kaliszyk and
               Florian Rabe and
               Volker Sorge},
  title     = {Intelligent Computer Mathematics - International Conference, {CICM}
               2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9150},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-20615-8},
  doi       = {10.1007/978-3-319-20615-8},
  isbn      = {978-3-319-20614-1},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdar/LinGTBS14,
  author    = {Xiaoyan Lin and
               Liangcai Gao and
               Zhi Tang and
               Josef B. Baker and
               Volker Sorge},
  title     = {Mathematical formula identification and performance evaluation in
               {PDF} documents},
  journal   = {{IJDAR}},
  volume    = {17},
  number    = {3},
  pages     = {239--255},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10032-013-0216-1},
  doi       = {10.1007/s10032-013-0216-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijdar/LinGTBS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Sorge14,
  author    = {Volker Sorge},
  title     = {Combining Systems for Mathematical Creativity (Invited Talk)},
  booktitle = {Artificial Intelligence and Symbolic Computation - 12th International
               Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  pages     = {7--8},
  year      = {2014},
  crossref  = {DBLP:conf/aisc/2014},
  url       = {https://doi.org/10.1007/978-3-319-13770-4\_2},
  doi       = {10.1007/978-3-319-13770-4\_2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/Sorge14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/das/SarouiS14,
  author    = {Behrang Sabeghi Saroui and
               Volker Sorge},
  title     = {Recognition of Handwritten Mathematical Characters on Whiteboards
               Using Colour Images},
  booktitle = {11th {IAPR} International Workshop on Document Analysis Systems, {DAS}
               2014, Tours, France, April 7-10, 2014},
  pages     = {91--95},
  year      = {2014},
  crossref  = {DBLP:conf/das/2014},
  url       = {https://doi.org/10.1109/DAS.2014.66},
  doi       = {10.1109/DAS.2014.66},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/das/SarouiS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w4a/SorgeCRT14,
  author    = {Volker Sorge and
               Charles L. Chen and
               T. V. Raman and
               David Tseng},
  title     = {Towards making mathematics a first class citizen in general screen
               readers},
  booktitle = {International Web for All Conference, {W4A} '14, Seoul, Republic of
               Korea, April 7-9, 2014},
  pages     = {40:1--40:10},
  year      = {2014},
  crossref  = {DBLP:conf/w4a/2014},
  url       = {https://doi.org/10.1145/2596695.2596700},
  doi       = {10.1145/2596695.2596700},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/SorgeCRT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciarp/AlkalaiS13,
  author    = {Mohamed A. Alkalai and
               Volker Sorge},
  title     = {A Histogram-Based Approach to Mathematical Line Segmentation},
  booktitle = {Progress in Pattern Recognition, Image Analysis, Computer Vision,
               and Applications - 18th Iberoamerican Congress, {CIARP} 2013, Havana,
               Cuba, November 20-23, 2013, Proceedings, Part {I}},
  pages     = {447--455},
  year      = {2013},
  crossref  = {DBLP:conf/ciarp/2013-1},
  url       = {https://doi.org/10.1007/978-3-642-41822-8\_56},
  doi       = {10.1007/978-3-642-41822-8\_56},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ciarp/AlkalaiS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/AlkalaiBSL13,
  author    = {Mohamed A. Alkalai and
               Josef B. Baker and
               Volker Sorge and
               Xiaoyan Lin},
  title     = {Improving Formula Analysis with Line and Mathematics Identification},
  booktitle = {12th International Conference on Document Analysis and Recognition,
               {ICDAR} 2013, Washington, DC, USA, August 25-28, 2013},
  pages     = {334--338},
  year      = {2013},
  crossref  = {DBLP:conf/icdar/2013},
  url       = {https://doi.org/10.1109/ICDAR.2013.74},
  doi       = {10.1109/ICDAR.2013.74},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/AlkalaiBSL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/LinGTBAS13,
  author    = {Xiaoyan Lin and
               Liangcai Gao and
               Zhi Tang and
               Josef B. Baker and
               Mohamed A. Alkalai and
               Volker Sorge},
  title     = {A Text Line Detection Method for Mathematical Formula Recognition},
  booktitle = {12th International Conference on Document Analysis and Recognition,
               {ICDAR} 2013, Washington, DC, USA, August 25-28, 2013},
  pages     = {339--343},
  year      = {2013},
  crossref  = {DBLP:conf/icdar/2013},
  url       = {https://doi.org/10.1109/ICDAR.2013.75},
  doi       = {10.1109/ICDAR.2013.75},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/LinGTBAS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AlmomenSS12,
  author    = {Randa Almomen and
               Alan P. Sexton and
               Volker Sorge},
  title     = {Abstracting symbolic matrices - Special issue on artificial intelligence
               and symbolic computation},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {64},
  number    = {4},
  pages     = {343--368},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10472-012-9299-5},
  doi       = {10.1007/s10472-012-9299-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/AlmomenSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BakerSS12,
  author    = {Josef B. Baker and
               Alan P. Sexton and
               Volker Sorge},
  title     = {MaxTract: Converting {PDF} to {\textdollar}{\textbackslash}mbox{\textbackslash}LaTeX{\textdollar}
               , MathML and Text},
  booktitle = {Intelligent Computer Mathematics - 11th International Conference,
               {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
               {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
               Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
               2012. Proceedings},
  pages     = {422--426},
  year      = {2012},
  crossref  = {DBLP:conf/aisc/2012},
  url       = {https://doi.org/10.1007/978-3-642-31374-5\_29},
  doi       = {10.1007/978-3-642-31374-5\_29},
  timestamp = {Sun, 02 Jun 2019 21:23:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/BakerSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/SadawiSS12,
  author    = {Noureddin M. Sadawi and
               Alan P. Sexton and
               Volker Sorge},
  title     = {MolRec at {CLEF} 2012 - Overview and Analysis of Results},
  booktitle = {{CLEF} 2012 Evaluation Labs and Workshop, Online Working Notes, Rome,
               Italy, September 17-20, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/clef/2012w},
  url       = {http://ceur-ws.org/Vol-1178/CLEF2012wn-CLEFIP-SadawiEt2012.pdf},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/SadawiSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/drr/SadawiSS12,
  author    = {Noureddin M. Sadawi and
               Alan P. Sexton and
               Volker Sorge},
  title     = {Chemical structure recognition: a rule-based approach},
  booktitle = {Document Recognition and Retrieval XIX, part of the IS{\&}T-SPIE
               Electronic Imaging Symposium, Burlingame, California, USA, January
               25-26, 2012, Proceedings},
  pages     = {82970E},
  year      = {2012},
  crossref  = {DBLP:conf/drr/2012},
  url       = {https://doi.org/10.1117/12.912185},
  doi       = {10.1117/12.912185},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/drr/SadawiSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Al-HassaniMCS12,
  author    = {Osama Al{-}Hassani and
               Quratul{-}ain Mahesar and
               Claudio Sacerdoti Coen and
               Volker Sorge},
  title     = {A Term Rewriting System for Kuratowski's Closure-Complement Problem},
  booktitle = {23rd International Conference on Rewriting Techniques and Applications
               (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  pages     = {38--52},
  year      = {2012},
  crossref  = {DBLP:conf/rta/2012},
  url       = {https://doi.org/10.4230/LIPIcs.RTA.2012.38},
  doi       = {10.4230/LIPIcs.RTA.2012.38},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/Al-HassaniMCS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/MahesarS12,
  author    = {Quratul{-}ain Mahesar and
               Volker Sorge},
  title     = {Algebraic Theory Exploration: {A} Comparison of Technologies},
  booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
               26-29, 2012},
  pages     = {70--77},
  year      = {2012},
  crossref  = {DBLP:conf/synasc/2012},
  url       = {https://doi.org/10.1109/SYNASC.2012.25},
  doi       = {10.1109/SYNASC.2012.25},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/MahesarS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2012,
  editor    = {Johan Jeuring and
               John A. Campbell and
               Jacques Carette and
               Gabriel Dos Reis and
               Petr Sojka and
               Makarius Wenzel and
               Volker Sorge},
  title     = {Intelligent Computer Mathematics - 11th International Conference,
               {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
               {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
               Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
               2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7362},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31374-5},
  doi       = {10.1007/978-3-642-31374-5},
  isbn      = {978-3-642-31373-8},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/BakerSSS11,
  author    = {Josef B. Baker and
               Alan P. Sexton and
               Volker Sorge and
               Masakazu Suzuki},
  title     = {Comparing Approaches to Mathematical Document Analysis from {PDF}},
  booktitle = {2011 International Conference on Document Analysis and Recognition,
               {ICDAR} 2011, Beijing, China, September 18-21, 2011},
  pages     = {463--467},
  year      = {2011},
  crossref  = {DBLP:conf/icdar/2011},
  url       = {https://doi.org/10.1109/ICDAR.2011.99},
  doi       = {10.1109/ICDAR.2011.99},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/BakerSSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DistlerSS11,
  author    = {Andreas Distler and
               Muhammad Shah and
               Volker Sorge},
  title     = {Enumeration of AG-Groupoids},
  booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
               and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
               18-23, 2011. Proceedings},
  pages     = {1--14},
  year      = {2011},
  crossref  = {DBLP:conf/mkm/2011},
  url       = {https://doi.org/10.1007/978-3-642-22673-1\_1},
  doi       = {10.1007/978-3-642-22673-1\_1},
  timestamp = {Wed, 25 Sep 2019 18:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/DistlerSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/SadawiSS11,
  author    = {Noureddin M. Sadawi and
               Alan P. Sexton and
               Volker Sorge},
  title     = {Performance of MolRec at {TREC} 2011 Overview and Analysis of Results},
  booktitle = {Proceedings of The Twentieth Text REtrieval Conference, {TREC} 2011,
               Gaithersburg, Maryland, USA, November 15-18, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/trec/2011},
  url       = {http://trec.nist.gov/pubs/trec20/papers/UoB.chem.update.pdf},
  timestamp = {Tue, 07 Apr 2015 13:04:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/trec/SadawiSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CaretteSSW10,
  author    = {Jacques Carette and
               Alan P. Sexton and
               Volker Sorge and
               Stephen M. Watt},
  title     = {Symbolic Domain Decomposition},
  booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
               2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
               {MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
  pages     = {172--188},
  year      = {2010},
  crossref  = {DBLP:conf/aisc/2010},
  url       = {https://doi.org/10.1007/978-3-642-14128-7\_16},
  doi       = {10.1007/978-3-642-14128-7\_16},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/CaretteSSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/das/BakerSS10,
  author    = {Josef B. Baker and
               Alan P. Sexton and
               Volker Sorge},
  title     = {Faithful mathematical formula recognition from {PDF} documents},
  booktitle = {The Ninth {IAPR} International Workshop on Document Analysis Systems,
               {DAS} 2010, June 9-11, 2010, Boston, Massachusetts, {USA}},
  pages     = {485--492},
  year      = {2010},
  crossref  = {DBLP:conf/das/2010},
  url       = {https://doi.org/10.1145/1815330.1815393},
  doi       = {10.1145/1815330.1815393},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/das/BakerSS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaretteSSW10,
  author    = {Jacques Carette and
               Alan P. Sexton and
               Volker Sorge and
               Stephen M. Watt},
  title     = {Symbolic Domain Decomposition},
  journal   = {CoRR},
  volume    = {abs/1004.5549},
  year      = {2010},
  url       = {http://arxiv.org/abs/1004.5549},
  archivePrefix = {arXiv},
  eprint    = {1004.5549},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CaretteSSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CalmetS09,
  author    = {Jacques Calmet and
               Volker Sorge},
  title     = {Preface},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {56},
  number    = {1},
  pages     = {1--2},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10472-009-9139-4},
  doi       = {10.1007/s10472-009-9139-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/CalmetS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SextonSW09,
  author    = {Alan P. Sexton and
               Volker Sorge and
               Stephen M. Watt},
  title     = {Computing with abstract matrix structures},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
  pages     = {325--332},
  year      = {2009},
  crossref  = {DBLP:conf/issac/2009},
  url       = {https://doi.org/10.1145/1576702.1576747},
  doi       = {10.1145/1576702.1576747},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/SextonSW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SextonSW09,
  author    = {Alan P. Sexton and
               Volker Sorge and
               Stephen M. Watt},
  title     = {Reasoning with Generic Cases in the Arithmetic of Abstract Matrices},
  booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
               8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
               Grand Bend, Canada, July 6-12, 2009. Proceedings},
  pages     = {138--153},
  year      = {2009},
  crossref  = {DBLP:conf/mkm/2009},
  url       = {https://doi.org/10.1007/978-3-642-02614-0\_15},
  doi       = {10.1007/978-3-642-02614-0\_15},
  timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/SextonSW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BakerSS09,
  author    = {Josef B. Baker and
               Alan P. Sexton and
               Volker Sorge},
  title     = {A Linear Grammar Approach to Mathematical Formula Recognition from
               {PDF}},
  booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
               8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
               Grand Bend, Canada, July 6-12, 2009. Proceedings},
  pages     = {201--216},
  year      = {2009},
  crossref  = {DBLP:conf/mkm/2009},
  url       = {https://doi.org/10.1007/978-3-642-02614-0\_19},
  doi       = {10.1007/978-3-642-02614-0\_19},
  timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/BakerSS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3585,
  author    = {Christoph Benzm{\"{u}}ller and
               Volker Sorge},
  title     = {Resource Adaptive Agents in Interactive Theorem Proving},
  journal   = {CoRR},
  volume    = {abs/0901.3585},
  year      = {2009},
  url       = {http://arxiv.org/abs/0901.3585},
  archivePrefix = {arXiv},
  eprint    = {0901.3585},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0901-3585},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BenzmullerSJK08,
  author    = {Christoph Benzm{\"{u}}ller and
               Volker Sorge and
               Mateja Jamnik and
               Manfred Kerber},
  title     = {Combined reasoning by automated cooperation},
  journal   = {J. Applied Logic},
  volume    = {6},
  number    = {3},
  pages     = {318--342},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.jal.2007.06.003},
  doi       = {10.1016/j.jal.2007.06.003},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/japll/BenzmullerSJK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SorgeMMC08,
  author    = {Volker Sorge and
               Andreas Meier and
               Roy L. McCasland and
               Simon Colton},
  title     = {Automatic Construction and Verification of Isotopy Invariants},
  journal   = {J. Autom. Reasoning},
  volume    = {40},
  number    = {2-3},
  pages     = {221--243},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10817-007-9093-y},
  doi       = {10.1007/s10817-007-9093-y},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/SorgeMMC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/SextonSW08,
  author    = {Alan P. Sexton and
               Volker Sorge and
               Stephen M. Watt},
  title     = {Abstract Matrix Arithmetic},
  booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
               Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
               2008},
  pages     = {61--68},
  year      = {2008},
  crossref  = {DBLP:conf/synasc/2008},
  url       = {https://doi.org/10.1109/SYNASC.2008.85},
  doi       = {10.1109/SYNASC.2008.85},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/SextonSW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2008,
  editor    = {Serge Autexier and
               John A. Campbell and
               Julio Rubio and
               Volker Sorge and
               Masakazu Suzuki and
               Freek Wiedijk},
  title     = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
               2008, 15th Symposium, Calculemus 2008, 7th International Conference,
               {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5144},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85110-3},
  doi       = {10.1007/978-3-540-85110-3},
  isbn      = {978-3-540-85109-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/KennedyTSFLS07,
  author    = {Catriona M. Kennedy and
               Georgios Theodoropoulos and
               Volker Sorge and
               Edward Ferrari and
               Peter Lee and
               Chris Skelcher},
  title     = {{AIMSS:} An Architecture for Data Driven Simulations in the Social
               Sciences},
  booktitle = {Computational Science - {ICCS} 2007, 7th International Conference
               Beijing, China, May 27-30, 2007, Proceedings, Part {I}},
  pages     = {1098--1105},
  year      = {2007},
  crossref  = {DBLP:conf/iccS/2007-1},
  url       = {https://doi.org/10.1007/978-3-540-72584-8\_144},
  doi       = {10.1007/978-3-540-72584-8\_144},
  timestamp = {Tue, 01 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/KennedyTSFLS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CaretteFS07,
  author    = {Jacques Carette and
               William M. Farmer and
               Volker Sorge},
  title     = {A Rational Reconstruction of a System for Experimental Mathematics},
  booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
               2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
               June 27-30, 2007, Proceedings},
  pages     = {13--26},
  year      = {2007},
  crossref  = {DBLP:conf/mkm/2007},
  url       = {https://doi.org/10.1007/978-3-540-73086-6\_2},
  doi       = {10.1007/978-3-540-73086-6\_2},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/CaretteFS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PolletS06,
  author    = {Martin Pollet and
               Volker Sorge},
  title     = {Connecting Logical Representations and Efficient Computations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {151},
  number    = {1},
  pages     = {127--142},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.11.027},
  doi       = {10.1016/j.entcs.2005.11.027},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/PolletS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SorgeMMC06,
  author    = {Volker Sorge and
               Andreas Meier and
               Roy L. McCasland and
               Simon Colton},
  title     = {Automatic Construction and Verification of Isotopy Invariants},
  booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {36--51},
  year      = {2006},
  crossref  = {DBLP:conf/cade/2006},
  url       = {https://doi.org/10.1007/11814771\_5},
  doi       = {10.1007/11814771\_5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/SorgeMMC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SextonS06,
  author    = {Alan P. Sexton and
               Volker Sorge},
  title     = {Abstract matrices in symbolic computation},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2006, Genoa, Italy, July 9-12, 2006, Proceedings},
  pages     = {318--325},
  year      = {2006},
  crossref  = {DBLP:conf/issac/2006},
  url       = {https://doi.org/10.1145/1145768.1145820},
  doi       = {10.1145/1145768.1145820},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/SextonS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KanahoriSSS06,
  author    = {Toshihiro Kanahori and
               Alan P. Sexton and
               Volker Sorge and
               Masakazu Suzuki},
  title     = {Capturing Abstract Matrices from Paper},
  booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  pages     = {124--138},
  year      = {2006},
  crossref  = {DBLP:conf/mkm/2006},
  url       = {https://doi.org/10.1007/11812289\_11},
  doi       = {10.1007/11812289\_11},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/KanahoriSSS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RajaRSS06,
  author    = {Amar Raja and
               Matthew Rayner and
               Alan P. Sexton and
               Volker Sorge},
  title     = {Towards a Parser for Mathematical Formula Recognition},
  booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  pages     = {139--151},
  year      = {2006},
  crossref  = {DBLP:conf/mkm/2006},
  url       = {https://doi.org/10.1007/11812289\_12},
  doi       = {10.1007/11812289\_12},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/RajaRSS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ColtonTCS06,
  author    = {Simon Colton and
               Pedro Torres and
               Paul A. Cairns and
               Volker Sorge},
  title     = {Managing Automatically Formed Mathematical Theories},
  booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  pages     = {237--250},
  year      = {2006},
  crossref  = {DBLP:conf/mkm/2006},
  url       = {https://doi.org/10.1007/11812289\_19},
  doi       = {10.1007/11812289\_19},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/ColtonTCS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MeierS05,
  author    = {Andreas Meier and
               Volker Sorge},
  title     = {Applying {SAT} Solving in Classification of Finite Algebras},
  journal   = {J. Autom. Reasoning},
  volume    = {35},
  number    = {1-3},
  pages     = {201--235},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10817-005-9003-0},
  doi       = {10.1007/s10817-005-9003-0},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/MeierS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CaprottiS05,
  author    = {Olga Caprotti and
               Volker Sorge},
  title     = {Integration of automated reasoning and computer algebra systems},
  journal   = {J. Symb. Comput.},
  volume    = {39},
  number    = {5},
  pages     = {501--502},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.jsc.2004.12.001},
  doi       = {10.1016/j.jsc.2004.12.001},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/CaprottiS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BenzmullerMS05,
  author    = {Christoph Benzm{\"{u}}ller and
               Andreas Meier and
               Volker Sorge},
  title     = {Bridging Theorem Proving and Mathematical Knowledge Retrieval},
  booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
               H. Siekmann on the Occasion of His 60th Birthday},
  pages     = {277--296},
  year      = {2005},
  crossref  = {DBLP:conf/birthday/2005siekmann},
  url       = {https://doi.org/10.1007/978-3-540-32254-2\_17},
  doi       = {10.1007/978-3-540-32254-2\_17},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BenzmullerMS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grec/SextonS05,
  author    = {Alan P. Sexton and
               Volker Sorge},
  title     = {Database-Driven Mathematical Character Recognition},
  booktitle = {Graphics Recognition. Ten Years Review and Future Perspectives, 6th
               Internation Workshop, {GREC} 2005, Hong Kong, China, August 25-26,
               2005, Revised Selected Papers},
  pages     = {218--230},
  year      = {2005},
  crossref  = {DBLP:conf/grec/2005},
  url       = {https://doi.org/10.1007/11767978\_20},
  doi       = {10.1007/11767978\_20},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/grec/SextonS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/SextonS05,
  author    = {Alan P. Sexton and
               Volker Sorge},
  title     = {Semantic Analysis of Matrix Structures},
  booktitle = {Eighth International Conference on Document Analysis and Recognition
               {(ICDAR} 2005), 29 August - 1 September 2005, Seoul, Korea},
  pages     = {1141--1145},
  year      = {2005},
  crossref  = {DBLP:conf/icdar/2005},
  url       = {https://doi.org/10.1109/ICDAR.2005.214},
  doi       = {10.1109/ICDAR.2005.214},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/SextonS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SextonS05,
  author    = {Alan P. Sexton and
               Volker Sorge},
  title     = {Processing Textbook-Style Matrices},
  booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
               2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  pages     = {111--125},
  year      = {2005},
  crossref  = {DBLP:conf/mkm/2005},
  url       = {https://doi.org/10.1007/11618027\_8},
  doi       = {10.1007/11618027\_8},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/SextonS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SextonS05a,
  author    = {Alan P. Sexton and
               Volker Sorge},
  title     = {A Database of Glyphs for {OCR} of Mathematical Documents},
  booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
               2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  pages     = {203--216},
  year      = {2005},
  crossref  = {DBLP:conf/mkm/2005},
  url       = {https://doi.org/10.1007/11618027\_14},
  doi       = {10.1007/11618027\_14},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/SextonS05a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MeierS05,
  author    = {Andreas Meier and
               Volker Sorge},
  title     = {A New Set of Algebraic Benchmark Problems for {SAT} Solvers},
  booktitle = {Theory and Applications of Satisfiability Testing, 8th International
               Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  pages     = {459--466},
  year      = {2005},
  crossref  = {DBLP:conf/sat/2005},
  url       = {https://doi.org/10.1007/11499107\_39},
  doi       = {10.1007/11499107\_39},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/MeierS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ColtonMSM04,
  author    = {Simon Colton and
               Andreas Meier and
               Volker Sorge and
               Roy L. McCasland},
  title     = {Automatic Generation of Classification Theorems for Finite Algebras},
  booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
               2004, Cork, Ireland, July 4-8, 2004, Proceedings},
  pages     = {400--414},
  year      = {2004},
  crossref  = {DBLP:conf/cade/2004},
  url       = {https://doi.org/10.1007/978-3-540-25984-8\_30},
  doi       = {10.1007/978-3-540-25984-8\_30},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/ColtonMSM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BenzmullerSJK04,
  author    = {Christoph Benzm{\"{u}}ller and
               Volker Sorge and
               Mateja Jamnik and
               Manfred Kerber},
  title     = {Can a Higher-Order and a First-Order Theorem Prover Cooperate?},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  pages     = {415--431},
  year      = {2004},
  crossref  = {DBLP:conf/lpar/2004},
  url       = {https://doi.org/10.1007/978-3-540-32275-7\_27},
  doi       = {10.1007/978-3-540-32275-7\_27},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BenzmullerSJK04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/PolletSK04,
  author    = {Martin Pollet and
               Volker Sorge and
               Manfred Kerber},
  title     = {Intuitive and Formal Representations: The Case of Matrices},
  booktitle = {Mathematical Knowledge Management, Third International Conference,
               {MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  pages     = {317--331},
  year      = {2004},
  crossref  = {DBLP:conf/mkm/2004},
  url       = {https://doi.org/10.1007/978-3-540-27818-4\_23},
  doi       = {10.1007/978-3-540-27818-4\_23},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/PolletSK04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CohenMPS03,
  author    = {Arjeh M. Cohen and
               Scott H. Murray and
               Martin Pollet and
               Volker Sorge},
  title     = {Certifying Solutions to Permutation Group Problems},
  booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
               Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  pages     = {258--273},
  year      = {2003},
  crossref  = {DBLP:conf/cade/2003},
  url       = {https://doi.org/10.1007/978-3-540-45085-6\_20},
  doi       = {10.1007/978-3-540-45085-6\_20},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/CohenMPS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MeierPS02,
  author    = {Andreas Meier and
               Martin Pollet and
               Volker Sorge},
  title     = {Comparing Approaches to the Exploration of the Domain of Residue Classes},
  journal   = {J. Symb. Comput.},
  volume    = {34},
  number    = {4},
  pages     = {287--306},
  year      = {2002},
  url       = {https://doi.org/10.1006/jsco.2002.0550},
  doi       = {10.1006/jsco.2002.0550},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/MeierPS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MeierSC02,
  author    = {Andreas Meier and
               Volker Sorge and
               Simon Colton},
  title     = {Employing Theory Formation to Guide Proof Planning},
  booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  pages     = {275--289},
  year      = {2002},
  crossref  = {DBLP:conf/aisc/2002},
  url       = {https://doi.org/10.1007/3-540-45470-5\_25},
  doi       = {10.1007/3-540-45470-5\_25},
  timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/MeierSC02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
  author    = {J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Vladimir Brezhnev and
               Lassaad Cheikhrouhou and
               Armin Fiedler and
               Andreas Franke and
               Helmut Horacek and
               Michael Kohlhase and
               Andreas Meier and
               Erica Melis and
               Markus Moschner and
               Immanuel Normann and
               Martin Pollet and
               Volker Sorge and
               Carsten Ullrich and
               Claus{-}Peter Wirth and
               J{\"{u}}rgen Zimmer},
  title     = {Proof Development with {OMEGA}},
  booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  pages     = {144--149},
  year      = {2002},
  crossref  = {DBLP:conf/cade/2002},
  url       = {https://doi.org/10.1007/3-540-45620-1\_12},
  doi       = {10.1007/3-540-45620-1\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
  editor    = {Jacques Calmet and
               Belaid Benhamou and
               Olga Caprotti and
               Laurent Henocque and
               Volker Sorge},
  title     = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2385},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45470-5},
  doi       = {10.1007/3-540-45470-5},
  isbn      = {3-540-43865-3},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Sorge2004,
  author    = {Volker Sorge},
  title     = {{\(\Omega\)}-ANTS: a blackboard architecture for the integration of
               reasoning techniques into proof planning},
  school    = {Saarland University, Saarbr{\"{u}}cken, Germany},
  year      = {2001},
  url       = {http://scidok.sulb.uni-saarland.de/volltexte/2004/237/index.html},
  urn       = {urn:nbn:de:bsz:291-scidok-2375},
  timestamp = {Thu, 19 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/de/Sorge2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MeierPS01,
  author    = {Andreas Meier and
               Martin Pollet and
               Volker Sorge},
  title     = {Classifying Isomorphic Residue Classes},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
               Canaria, Spain, February 19-23, 2001, Revised Papers},
  pages     = {494--508},
  year      = {2001},
  crossref  = {DBLP:conf/eurocast/2001},
  url       = {https://doi.org/10.1007/3-540-45654-6\_39},
  doi       = {10.1007/3-540-45654-6\_39},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/MeierPS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BenzmullerJKS01,
  author    = {Christoph Benzm{\"{u}}ller and
               Mateja Jamnik and
               Manfred Kerber and
               Volker Sorge},
  title     = {Experiments with an Agent-Oriented Reasoning System},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  pages     = {409--424},
  year      = {2001},
  crossref  = {DBLP:conf/ki/2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_29},
  doi       = {10.1007/3-540-45422-5\_29},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/BenzmullerJKS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arw/BenzmullerJKS00,
  author    = {Christoph Benzm{\"{u}}ller and
               Mateja Jamnik and
               Manfred Kerber and
               Volker Sorge},
  title     = {Resource Guided Concurrent Deduction},
  booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
               the Gap between Theory and Practice, King's College London, UK, 20-21
               July 2000.},
  year      = {2000},
  crossref  = {DBLP:conf/arw/2000},
  url       = {http://ceur-ws.org/Vol-32/benzmueller.ps.gz},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arw/BenzmullerJKS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ColtonSM00,
  author    = {Simon Colton and
               Volker Sorge and
               Ursula Martin},
  title     = {Workshop: The Role of Automated Deduction in Mathematics},
  booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  pages     = {517},
  year      = {2000},
  crossref  = {DBLP:conf/cade/2000},
  url       = {https://doi.org/10.1007/10721959\_49},
  doi       = {10.1007/10721959\_49},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/ColtonSM00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Sorge00,
  author    = {Volker Sorge},
  title     = {Non-Trivial Symbolic Computations in Proof Planning},
  booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
               2000, Nancy, France, March 22-24, 2000, Proceedings},
  pages     = {121--135},
  year      = {2000},
  crossref  = {DBLP:conf/frocos/2000},
  url       = {https://doi.org/10.1007/10720084\_9},
  doi       = {10.1007/10720084\_9},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/Sorge00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BenzmullerJKS99,
  author    = {Christoph Benzm{\"{u}}ller and
               Mateja Jamnik and
               Manfred Kerber and
               Volker Sorge},
  title     = {Agent based mathematical reasoning},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {23},
  number    = {3},
  pages     = {340--351},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)82522-8},
  doi       = {10.1016/S1571-0661(05)82522-8},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BenzmullerJKS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MelisS99,
  author    = {Erica Melis and
               Volker Sorge},
  title     = {Employing external reasoners in proof planning},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {23},
  number    = {3},
  pages     = {440--450},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80614-0},
  doi       = {10.1016/S1571-0661(05)80614-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/MelisS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SiekmannHBCFHKKMMPS99,
  author    = {J{\"{o}}rg H. Siekmann and
               Stephan M. Hess and
               Christoph Benzm{\"{u}}ller and
               Lassaad Cheikhrouhou and
               Armin Fiedler and
               Helmut Horacek and
               Michael Kohlhase and
               Karsten Konrad and
               Andreas Meier and
               Erica Melis and
               Martin Pollet and
               Volker Sorge},
  title     = {\emph{L}{\textless}Omega{\textgreater}\emph{UI}: \emph{L}ovely {\textless}Omega{\textgreater}MEGA
               \emph{U}ser \emph{I}nterface},
  journal   = {Formal Asp. Comput.},
  volume    = {11},
  number    = {3},
  pages     = {326--342},
  year      = {1999},
  url       = {https://doi.org/10.1007/s001650050053},
  doi       = {10.1007/s001650050053},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/SiekmannHBCFHKKMMPS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/FrankeHJKS99,
  author    = {Andreas Franke and
               Stephan M. Hess and
               Christoph G. Jung and
               Michael Kohlhase and
               Volker Sorge},
  title     = {Agent-Oriented Integration of Distributed Mathematical Services},
  journal   = {J. {UCS}},
  volume    = {5},
  number    = {3},
  pages     = {156--187},
  year      = {1999},
  url       = {https://doi.org/10.3217/jucs-005-03-0156},
  doi       = {10.3217/jucs-005-03-0156},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/FrankeHJKS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BenzmullerBS99,
  author    = {Christoph Benzm{\"{u}}ller and
               Matthew Bishop and
               Volker Sorge},
  title     = {Integrating Tps and Omega},
  journal   = {J. {UCS}},
  volume    = {5},
  number    = {3},
  pages     = {188--207},
  year      = {1999},
  url       = {https://doi.org/10.3217/jucs-005-03-0188},
  doi       = {10.3217/jucs-005-03-0188},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/BenzmullerBS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/BenzmullerS99,
  author    = {Christoph Benzm{\"{u}}ller and
               Volker Sorge},
  title     = {Critical Agents Supporting Interactive Theorem Proving},
  booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on
               Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September
               21-24, 1999, Proceedings},
  pages     = {208--221},
  year      = {1999},
  crossref  = {DBLP:conf/epia/1999},
  url       = {https://doi.org/10.1007/3-540-48159-1\_15},
  doi       = {10.1007/3-540-48159-1\_15},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epia/BenzmullerS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KerberKS98,
  author    = {Manfred Kerber and
               Michael Kohlhase and
               Volker Sorge},
  title     = {Integrating Computer Algebra into Proof Planning},
  journal   = {J. Autom. Reasoning},
  volume    = {21},
  number    = {3},
  pages     = {327--355},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1006059810729},
  doi       = {10.1023/A:1006059810729},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/KerberKS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BenzmullerS98,
  author    = {Christoph Benzm{\"{u}}ller and
               Volker Sorge},
  title     = {A Blackboard Architecture for Guiding Interactive Proofs},
  booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
               International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
               21-13, 1998, Proceedings},
  pages     = {102--114},
  year      = {1998},
  crossref  = {DBLP:conf/aimsa/1998},
  url       = {https://doi.org/10.1007/BFb0057438},
  doi       = {10.1007/BFb0057438},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aimsa/BenzmullerS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerCFFHKKKMMSSS97,
  author    = {Christoph Benzm{\"{u}}ller and
               Lassaad Cheikhrouhou and
               Detlef Fehrer and
               Armin Fiedler and
               Xiaorong Huang and
               Manfred Kerber and
               Michael Kohlhase and
               Karsten Konrad and
               Andreas Meier and
               Erica Melis and
               Wolf Schaarschmidt and
               J{\"{o}}rg H. Siekmann and
               Volker Sorge},
  title     = {Omega: Towards a Mathematical Assistant},
  booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
               Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
               Proceedings},
  pages     = {252--255},
  year      = {1997},
  crossref  = {DBLP:conf/cade/1997},
  url       = {https://doi.org/10.1007/3-540-63104-6\_23},
  doi       = {10.1007/3-540-63104-6\_23},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BenzmullerCFFHKKKMMSSS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/KerberKS96,
  author    = {Manfred Kerber and
               Michael Kohlhase and
               Volker Sorge},
  title     = {Integrating Computer Algebra with Proof Planning},
  booktitle = {Design and Implementation of Symbolic Computation Systems, International
               Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996,
               Proceedings},
  pages     = {204--215},
  year      = {1996},
  crossref  = {DBLP:conf/disco/1996},
  url       = {https://doi.org/10.1007/3-540-61697-7\_22},
  doi       = {10.1007/3-540-61697-7\_22},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/disco/KerberKS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w4a/2019,
  title     = {Proceedings of the 16th Web For All 2019 Conference - Personalizing
               the Web, {W4A} 2019, San Francisco, CA, USA, May 13-15, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3315002},
  doi       = {10.1145/3315002},
  isbn      = {978-1-4503-6716-5},
  timestamp = {Fri, 09 Aug 2019 12:53:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hci/YesiladaH19,
  editor    = {Yeliz Yesilada and
               Simon Harper},
  title     = {Web Accessibility - {A} Foundation for Research, Second Edition},
  series    = {Human-Computer Interaction Series},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-1-4471-7440-0},
  doi       = {10.1007/978-1-4471-7440-0},
  isbn      = {978-1-4471-7439-4},
  timestamp = {Wed, 05 Jun 2019 10:30:46 +0200},
  biburl    = {https://dblp.org/rec/bib/series/hci/YesiladaH19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icchp/2018-1,
  editor    = {Klaus Miesenberger and
               Georgios Kouroupetroglou},
  title     = {Computers Helping People with Special Needs - 16th International Conference,
               {ICCHP} 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10896},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94277-3},
  doi       = {10.1007/978-3-319-94277-3},
  isbn      = {978-3-319-94276-6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icchp/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w4a/2017,
  editor    = {Chris Bailey and
               Voula Gkatzidou},
  title     = {Proceedings of the 14th Web for All Conference, {W4A} 2017: The Future
               of Accessible Work, Perth, Western Australia, Australia, April 2-4,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3058555},
  doi       = {10.1145/3058555},
  isbn      = {978-1-4503-4900-0},
  timestamp = {Tue, 06 Nov 2018 16:58:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/assets/2016,
  editor    = {Jinjuan Heidi Feng and
               Matt Huenerfauth},
  title     = {Proceedings of the 18th International {ACM} {SIGACCESS} Conference
               on Computers and Accessibility, {ASSETS} 2016, Reno, NV, USA, October
               23-26, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2982142},
  doi       = {10.1145/2982142},
  isbn      = {978-1-4503-4124-0},
  timestamp = {Tue, 06 Nov 2018 16:57:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/assets/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccnc/2016,
  title     = {13th {IEEE} Annual Consumer Communications {\&} Networking Conference,
               {CCNC} 2016, Las Vegas, NV, USA, January 9-12, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7435634/proceeding},
  isbn      = {978-1-4673-9292-1},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccnc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icchp/2016-1,
  editor    = {Klaus Miesenberger and
               Christian B{\"{u}}hler and
               Petr Pen{\'{a}}z},
  title     = {Computers Helping People with Special Needs - 15th International Conference,
               {ICCHP} 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9758},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41264-1},
  doi       = {10.1007/978-3-319-41264-1},
  isbn      = {978-3-319-41263-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icchp/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w4a/2016,
  editor    = {Gregory R. Gay and
               Tiago Jo{\~{a}}o Guerreiro},
  title     = {Proceedings of the 13th Web for All Conference, {W4A} '16, Montreal,
               Canada, April 11-13, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2899475},
  doi       = {10.1145/2899475},
  isbn      = {978-1-4503-4138-7},
  timestamp = {Tue, 06 Nov 2018 16:58:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdar/2015,
  title     = {13th International Conference on Document Analysis and Recognition,
               {ICDAR} 2015, Nancy, France, August 23-26, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7321714/proceeding},
  isbn      = {978-1-4799-1805-8},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w4a/2015,
  editor    = {Lu{\'{\i}}s Carri{\c{c}}o and
               Silvia Mirri and
               Tiago Jo{\~{a}}o Guerreiro and
               Peter Thiessen},
  title     = {Proceedings of the 12th Web for All Conference, {W4A} '15, Florence,
               Italy, May 18-20, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2745555},
  isbn      = {978-1-4503-3342-9},
  timestamp = {Tue, 26 May 2015 19:49:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2014,
  editor    = {Gonzalo A. Aranda{-}Corral and
               Jacques Calmet and
               Francisco J. Mart{\'{\i}}n{-}Mateos},
  title     = {Artificial Intelligence and Symbolic Computation - 12th International
               Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8884},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13770-4},
  doi       = {10.1007/978-3-319-13770-4},
  isbn      = {978-3-319-13769-8},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/das/2014,
  editor    = {Jean{-}Yves Ramel and
               Marcus Liwicki and
               Jean{-}Marc Ogier and
               Koichi Kise and
               Ray Smith},
  title     = {11th {IAPR} International Workshop on Document Analysis Systems, {DAS}
               2014, Tours, France, April 7-10, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6823826/proceeding},
  isbn      = {978-1-4799-3244-3},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/das/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w4a/2014,
  editor    = {Jeffrey P. Bigham and
               Yevgen Borodin and
               Lu{\'{\i}}s Carri{\c{c}}o},
  title     = {International Web for All Conference, {W4A} '14, Seoul, Republic of
               Korea, April 7-9, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2596695},
  isbn      = {978-1-4503-2651-3},
  timestamp = {Tue, 06 May 2014 08:13:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/w4a/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ciarp/2013-1,
  editor    = {Jos{\'{e}} Ruiz{-}Shulcloper and
               Gabriella Sanniti di Baja},
  title     = {Progress in Pattern Recognition, Image Analysis, Computer Vision,
               and Applications - 18th Iberoamerican Congress, {CIARP} 2013, Havana,
               Cuba, November 20-23, 2013, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8258},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41822-8},
  doi       = {10.1007/978-3-642-41822-8},
  isbn      = {978-3-642-41821-1},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ciarp/2013-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdar/2013,
  title     = {12th International Conference on Document Analysis and Recognition,
               {ICDAR} 2013, Washington, DC, USA, August 25-28, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6627713/proceeding},
  isbn      = {978-0-7695-4999-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2012,
  editor    = {Johan Jeuring and
               John A. Campbell and
               Jacques Carette and
               Gabriel Dos Reis and
               Petr Sojka and
               Makarius Wenzel and
               Volker Sorge},
  title     = {Intelligent Computer Mathematics - 11th International Conference,
               {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
               {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
               Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
               2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7362},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31374-5},
  doi       = {10.1007/978-3-642-31374-5},
  isbn      = {978-3-642-31373-8},
  timestamp = {Sun, 02 Jun 2019 21:23:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2012w,
  editor    = {Pamela Forner and
               Jussi Karlgren and
               Christa Womser{-}Hacker},
  title     = {{CLEF} 2012 Evaluation Labs and Workshop, Online Working Notes, Rome,
               Italy, September 17-20, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1178},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1178},
  urn       = {urn:nbn:de:0074-1178-5},
  isbn      = {978-88-904810-3-1},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2012w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/drr/2012,
  editor    = {Christian Viard{-}Gaudin and
               Richard Zanibbi},
  title     = {Document Recognition and Retrieval XIX, part of the IS{\&}T-SPIE
               Electronic Imaging Symposium, Burlingame, California, USA, January
               25-26, 2012, Proceedings},
  series    = {{SPIE} Proceedings},
  volume    = {8297},
  publisher = {{SPIE}},
  year      = {2012},
  url       = {http://proceedings.spiedigitallibrary.org/volume.aspx?volume=8297},
  isbn      = {978-0-819-48944-9},
  timestamp = {Tue, 28 Jun 2016 16:22:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/drr/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2012,
  editor    = {Ashish Tiwari},
  title     = {23rd International Conference on Rewriting Techniques and Applications
               (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  series    = {LIPIcs},
  volume    = {15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12003},
  isbn      = {978-3-939897-38-5},
  timestamp = {Tue, 26 Feb 2013 10:42:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2012,
  editor    = {Andrei Voronkov and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {14th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
               26-29, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6480928/proceeding},
  isbn      = {978-1-4673-5026-6},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdar/2011,
  title     = {2011 International Conference on Document Analysis and Recognition,
               {ICDAR} 2011, Beijing, China, September 18-21, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6065245/proceeding},
  isbn      = {978-1-4577-1350-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2011,
  editor    = {James H. Davenport and
               William M. Farmer and
               Josef Urban and
               Florian Rabe},
  title     = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
               and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
               18-23, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6824},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22673-1},
  doi       = {10.1007/978-3-642-22673-1},
  isbn      = {978-3-642-22672-4},
  timestamp = {Wed, 25 Sep 2019 18:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/trec/2011,
  editor    = {Ellen M. Voorhees and
               Lori P. Buckland},
  title     = {Proceedings of The Twentieth Text REtrieval Conference, {TREC} 2011,
               Gaithersburg, Maryland, USA, November 15-18, 2011},
  volume    = {Special Publication 500-296},
  publisher = {National Institute of Standards and Technology {(NIST)}},
  year      = {2011},
  url       = {http://trec.nist.gov/pubs/trec20/t20.proceedings.html},
  timestamp = {Tue, 07 Apr 2015 13:04:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/trec/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/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},
  title     = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
               2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
               {MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6167},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14128-7},
  doi       = {10.1007/978-3-642-14128-7},
  isbn      = {978-3-642-14127-0},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/das/2010,
  editor    = {David S. Doermann and
               Venu Govindaraju and
               Daniel P. Lopresti and
               Premkumar Natarajan},
  title     = {The Ninth {IAPR} International Workshop on Document Analysis Systems,
               {DAS} 2010, June 9-11, 2010, Boston, Massachusetts, {USA}},
  series    = {{ACM} International Conference Proceeding Series},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1815330},
  isbn      = {978-1-60558-773-8},
  timestamp = {Wed, 08 Jul 2015 17:21:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/das/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2009,
  editor    = {Jeremy R. Johnson and
               Hyungju Park and
               Erich Kaltofen},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-609-0},
  timestamp = {Mon, 19 Apr 2010 20:46:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2009,
  editor    = {Jacques Carette and
               Lucas Dixon and
               Claudio Sacerdoti Coen and
               Stephen M. Watt},
  title     = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
               8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
               Grand Bend, Canada, July 6-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5625},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02614-0},
  doi       = {10.1007/978-3-642-02614-0},
  isbn      = {978-3-642-02613-3},
  timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2008,
  editor    = {Viorel Negru and
               Tudor Jebelean and
               Dana Petcu and
               Daniela Zaharie},
  title     = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
               Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
               2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5204773/proceeding},
  isbn      = {978-0-7695-3523-4},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccS/2007-1,
  editor    = {Yong Shi and
               G. Dick van Albada and
               Jack J. Dongarra and
               Peter M. A. Sloot},
  title     = {Computational Science - {ICCS} 2007, 7th International Conference
               Beijing, China, May 27-30, 2007, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4487},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72584-8},
  doi       = {10.1007/978-3-540-72584-8},
  isbn      = {978-3-540-72583-1},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/2007-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2007,
  editor    = {Manuel Kauers and
               Manfred Kerber and
               Robert Miner and
               Wolfgang Windsteiger},
  title     = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
               2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
               June 27-30, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4573},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73086-6},
  doi       = {10.1007/978-3-540-73086-6},
  isbn      = {978-3-540-73083-5},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2006,
  editor    = {Ulrich Furbach and
               Natarajan Shankar},
  title     = {Automated Reasoning, Third International Joint Conference, {IJCAR}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4130},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11814771},
  doi       = {10.1007/11814771},
  isbn      = {3-540-37187-7},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2006,
  editor    = {Barry M. Trager},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2006, Genoa, Italy, July 9-12, 2006, Proceedings},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-276-3},
  timestamp = {Fri, 15 Dec 2006 08:18:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4108},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11812289},
  doi       = {10.1007/11812289},
  isbn      = {3-540-37104-4},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005siekmann,
  editor    = {Dieter Hutter and
               Werner Stephan},
  title     = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
               H. Siekmann on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2605},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106663},
  doi       = {10.1007/b106663},
  isbn      = {3-540-25051-4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2005siekmann},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/grec/2005,
  editor    = {Wenyin Liu and
               Josep Llad{\'{o}}s},
  title     = {Graphics Recognition. Ten Years Review and Future Perspectives, 6th
               Internation Workshop, {GREC} 2005, Hong Kong, China, August 25-26,
               2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3926},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11767978},
  doi       = {10.1007/11767978},
  isbn      = {978-3-540-34711-8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/grec/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdar/2005,
  title     = {Eighth International Conference on Document Analysis and Recognition
               {(ICDAR} 2005), 29 August - 1 September 2005, Seoul, Korea},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10526/proceeding},
  isbn      = {0-7695-2420-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdar/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2005,
  editor    = {Michael Kohlhase},
  title     = {Mathematical Knowledge Management, 4th International Conference, {MKM}
               2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3863},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11618027},
  doi       = {10.1007/11618027},
  isbn      = {3-540-31430-X},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2005,
  editor    = {Fahiem Bacchus and
               Toby Walsh},
  title     = {Theory and Applications of Satisfiability Testing, 8th International
               Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3569},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137280},
  doi       = {10.1007/b137280},
  isbn      = {3-540-26276-8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2004,
  editor    = {David A. Basin and
               Micha{\"{e}}l Rusinowitch},
  title     = {Automated Reasoning - Second International Joint Conference, {IJCAR}
               2004, Cork, Ireland, July 4-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3097},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98691},
  doi       = {10.1007/b98691},
  isbn      = {3-540-22345-2},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2004,
  editor    = {Franz Baader and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3452},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106931},
  doi       = {10.1007/b106931},
  isbn      = {3-540-25236-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2004,
  editor    = {Andrea Asperti and
               Grzegorz Bancerek and
               Andrzej Trybulec},
  title     = {Mathematical Knowledge Management, Third International Conference,
               {MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3119},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100478},
  doi       = {10.1007/b100478},
  isbn      = {3-540-23029-7},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2003,
  editor    = {Franz Baader},
  title     = {Automated Deduction - CADE-19, 19th International Conference on Automated
               Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2741},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11829},
  doi       = {10.1007/b11829},
  isbn      = {3-540-40559-3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
  editor    = {Jacques Calmet and
               Belaid Benhamou and
               Olga Caprotti and
               Laurent Henocque and
               Volker Sorge},
  title     = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2385},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45470-5},
  doi       = {10.1007/3-540-45470-5},
  isbn      = {3-540-43865-3},
  timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2002,
  editor    = {Andrei Voronkov},
  title     = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45620-1},
  doi       = {10.1007/3-540-45620-1},
  isbn      = {3-540-43931-5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2001,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Bruno Buchberger and
               Jos{\'{e}} Luis Freire},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
               Canaria, Spain, February 19-23, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2178},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45654-6},
  doi       = {10.1007/3-540-45654-6},
  isbn      = {3-540-42959-X},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2001,
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5},
  doi       = {10.1007/3-540-45422-5},
  isbn      = {3-540-42612-4},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arw/2000,
  editor    = {Hans J{\"{u}}rgen Ohlbach and
               Ulrich Endriss and
               Odinaldo Rodrigues and
               Stefan Schlobach},
  title     = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
               the Gap between Theory and Practice, King's College London, UK, 20-21
               July 2000},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {32},
  publisher = {CEUR-WS.org},
  year      = {2000},
  url       = {http://ceur-ws.org/Vol-32},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arw/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2000,
  editor    = {David A. McAllester},
  title     = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1831},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10721959},
  doi       = {10.1007/10721959},
  isbn      = {3-540-67664-3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2000,
  editor    = {H{\'{e}}l{\`{e}}ne Kirchner and
               Christophe Ringeissen},
  title     = {Frontiers of Combining Systems, Third International Workshop, FroCoS
               2000, Nancy, France, March 22-24, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1794},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10720084},
  doi       = {10.1007/10720084},
  isbn      = {3-540-67281-8},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epia/1999,
  editor    = {Pedro Barahona and
               Jos{\'{e}} J{\'{u}}lio Alferes},
  title     = {Progress in Artificial Intelligence, 9th Portuguese Conference on
               Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September
               21-24, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1695},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48159-1},
  doi       = {10.1007/3-540-48159-1},
  isbn      = {3-540-66548-X},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epia/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aimsa/1998,
  editor    = {Fausto Giunchiglia},
  title     = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
               International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
               21-13, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1480},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0057429},
  doi       = {10.1007/BFb0057429},
  isbn      = {3-540-64993-X},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aimsa/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1997,
  editor    = {William McCune},
  title     = {Automated Deduction - CADE-14, 14th International Conference on Automated
               Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1249},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63104-6},
  doi       = {10.1007/3-540-63104-6},
  isbn      = {3-540-63104-6},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/disco/1996,
  editor    = {Jacques Calmet and
               Carla Limongelli},
  title     = {Design and Implementation of Symbolic Computation Systems, International
               Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1128},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61697-7},
  doi       = {10.1007/3-540-61697-7},
  isbn      = {3-540-61697-7},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/disco/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics