@article{DegtyarevV96,
  title = {The Undecidability of Simultaneous Rigid E-Unification},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {1996},
  doi = {10.1016/0304-3975(96)00092-8},
  url = {http://dx.doi.org/10.1016/0304-3975(96)00092-8},
  tags = {e-science},
  researchr = {https://researchr.org/publication/DegtyarevV96},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {166},
  number = {1&2},
  pages = {291-300},
}

@incollection{DegtyarevGV01,
  title = {Herbrand s Theorem and Equational Reasoning: Problems and Solutions},
  author = {Anatoli Degtyarev and Yuri Gurevich and Andrei Voronkov},
  year = {2001},
  researchr = {https://researchr.org/publication/DegtyarevGV01},
  cites = {0},
  citedby = {0},
  pages = {303-326},
  booktitle = {Current Trends in Theoretical Computer Science},
}

@inproceedings{ArgeniusV96,
  title = {Semantics of Constraint Logic Programs with Bounded Quantifiers},
  author = {Martin Argenius and Andrei Voronkov},
  year = {1996},
  tags = {semantics, constraints, logic programming, logic},
  researchr = {https://researchr.org/publication/ArgeniusV96},
  cites = {0},
  citedby = {0},
  pages = {1-18},
  booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP 96, Leipzig, Germany, March 28-30, 1996, Proceedings},
  editor = {Roy Dyckhoff and Heinrich Herre and Peter Schroeder-Heister},
  volume = {1050},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60983-0},
}

@inproceedings{Voronkov99,
  title = {KK: a theorem prover for K},
  author = {Andrei Voronkov},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1632/16320383.htm},
  researchr = {https://researchr.org/publication/Voronkov99},
  cites = {0},
  citedby = {0},
  pages = {383-387},
  booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
  editor = {Harald Ganzinger},
  volume = {1632},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66222-7},
}

@inproceedings{DegtyarevV95,
  title = {Simultaneous Regid E-Unification Is Undecidable},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {1995},
  tags = {e-science},
  researchr = {https://researchr.org/publication/DegtyarevV95},
  cites = {0},
  citedby = {0},
  pages = {178-190},
  booktitle = {Computer Science Logic, 9th International Workshop, CSL  95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers},
  editor = {Hans Kleine Büning},
  volume = {1092},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61377-3},
}

@inproceedings{KorovinV01,
  title = {Knuth-Bendix Constraint Solving Is NP-Complete},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2076/20760979.htm},
  tags = {completeness, constraints},
  researchr = {https://researchr.org/publication/KorovinV01},
  cites = {0},
  citedby = {0},
  pages = {979-992},
  booktitle = {Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings},
  editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen},
  volume = {2076},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42287-0},
}

@inproceedings{RiazanovV01,
  title = {Splitting Without Backtracking},
  author = {Alexandre Riazanov and Andrei Voronkov},
  year = {2001},
  researchr = {https://researchr.org/publication/RiazanovV01},
  cites = {0},
  citedby = {0},
  pages = {611-617},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001},
  editor = {Bernhard Nebel},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-777-3},
}

@inproceedings{Voronkov97,
  title = {Strategies in Rigid-Variable Methods},
  author = {Andrei Voronkov},
  year = {1997},
  researchr = {https://researchr.org/publication/Voronkov97},
  cites = {0},
  citedby = {0},
  pages = {114-121},
  booktitle = {IJCAI (1)},
}

@inproceedings{KorovinV03:0,
  title = {Orienting Equalities with the Knuth-Bendix Order},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840075abs.htm},
  researchr = {https://researchr.org/publication/KorovinV03%3A0},
  cites = {0},
  citedby = {0},
  pages = {75},
  booktitle = {18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1884-2},
}

@inproceedings{Voronkov96:1,
  title = {Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification},
  author = {Andrei Voronkov},
  year = {1996},
  tags = {e-science, logic, search},
  researchr = {https://researchr.org/publication/Voronkov96%3A1},
  cites = {0},
  citedby = {0},
  pages = {32-46},
  booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
  editor = {Michael A. McRobbie and John K. Slaney},
  volume = {1104},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61511-3},
}

@inproceedings{KorovinV00,
  title = {A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250291abs.htm},
  tags = { algebra},
  researchr = {https://researchr.org/publication/KorovinV00},
  cites = {0},
  citedby = {0},
  pages = {291-302},
  booktitle = {LICS},
}

@article{Voronkov03:0,
  title = {Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification},
  author = {Andrei Voronkov},
  year = {2003},
  tags = {e-science, logic, search},
  researchr = {https://researchr.org/publication/Voronkov03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {30},
  number = {2},
  pages = {121-151},
}

@inproceedings{Voronkov92,
  title = {Higher Order Functions in First Order Theory},
  author = {Andrei Voronkov},
  year = {1992},
  researchr = {https://researchr.org/publication/Voronkov92},
  cites = {0},
  citedby = {0},
  pages = {43-54},
  booktitle = {Theory of Computing and Systems, ISTCS 92, Israel Symposium, Haifa, Israel, May 1992},
  editor = {Danny Dolev and Zvi Galil and Michael Rodeh},
  volume = {601},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55553-6},
}

@inproceedings{KorovinV02,
  title = {The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2556/25560230.htm},
  researchr = {https://researchr.org/publication/KorovinV02},
  cites = {0},
  citedby = {0},
  pages = {230-240},
  booktitle = {FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings},
  editor = {Manindra Agrawal and Anil Seth},
  volume = {2556},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00225-1},
}

@inproceedings{DegtyarevV96:0,
  title = {Handling Equality in Logic Programming via Basic Folding},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {1996},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/DegtyarevV96%3A0},
  cites = {0},
  citedby = {0},
  pages = {119-136},
  booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP 96, Leipzig, Germany, March 28-30, 1996, Proceedings},
  editor = {Roy Dyckhoff and Heinrich Herre and Peter Schroeder-Heister},
  volume = {1050},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60983-0},
}

@incollection{DegtyarevV01,
  title = {The Inverse Method},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {2001},
  researchr = {https://researchr.org/publication/DegtyarevV01},
  cites = {0},
  citedby = {0},
  pages = {179-272},
  booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
  editor = {John Alan Robinson and Andrei Voronkov},
  publisher = {Elsevier and MIT Press},
  isbn = {0-444-50813-9},
}

@article{DegtyarevGV96,
  title = {Herbrand s Theorem and Equational Reasoning: Problems and Solutions},
  author = {Anatoli Degtyarev and Yuri Gurevich and Andrei Voronkov},
  year = {1996},
  researchr = {https://researchr.org/publication/DegtyarevGV96},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {60},
  pages = {78-96},
}

@inproceedings{KovacsV09,
  title = {Finding Loop Invariants for Programs over Arrays Using a Theorem Prover},
  author = {Laura Kovács and Andrei Voronkov},
  year = {2009},
  doi = {10.1007/978-3-642-00593-0_33},
  url = {http://dx.doi.org/10.1007/978-3-642-00593-0_33},
  researchr = {https://researchr.org/publication/KovacsV09},
  cites = {0},
  citedby = {0},
  pages = {470-485},
  booktitle = {Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Marsha Chechik and Martin Wirsing},
  volume = {5503},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00592-3},
}

@inproceedings{KorovinV03,
  title = {An AC-Compatible Knuth-Bendix Order},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2741&spage=47},
  researchr = {https://researchr.org/publication/KorovinV03},
  cites = {0},
  citedby = {0},
  pages = {47-59},
  booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  editor = {Franz Baader},
  volume = {2741},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40559-3},
}

@inproceedings{Voronkov01:0,
  title = {Algorithms, Datastructures, and other Issues in Efficient Automated Deduction},
  author = {Andrei Voronkov},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2083/20830013.htm},
  researchr = {https://researchr.org/publication/Voronkov01%3A0},
  cites = {0},
  citedby = {0},
  pages = {13-28},
  booktitle = {Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings},
  editor = {Rajeev Goré and Alexander Leitsch and Tobias Nipkow},
  volume = {2083},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42254-4},
}

@inproceedings{Voronkov91:0,
  title = {Logic Programming with Bounded Quantifiers},
  author = {Andrei Voronkov},
  year = {1991},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Voronkov91%3A0},
  cites = {0},
  citedby = {0},
  pages = {486-514},
  booktitle = {Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings},
  editor = {Andrei Voronkov},
  volume = {592},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55460-2},
}

@inproceedings{Voronkov96,
  title = {Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction},
  author = {Andrei Voronkov},
  year = {1996},
  tags = {rule-based, constraints, logic, search},
  researchr = {https://researchr.org/publication/Voronkov96},
  cites = {0},
  citedby = {0},
  pages = {312-329},
  booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX  96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings},
  editor = {Pierangelo Miglioli and Ugo Moscato and Daniele Mundici and Mario Ornaghi},
  volume = {1071},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61208-4},
}

@article{RiazanovV02,
  title = {The design and implementation of VAMPIRE},
  author = {Alexandre Riazanov and Andrei Voronkov},
  year = {2002},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=2&spage=91},
  tags = {design},
  researchr = {https://researchr.org/publication/RiazanovV02},
  cites = {0},
  citedby = {0},
  journal = {AI Commun.},
  volume = {15},
  number = {2-3},
  pages = {91-110},
}

@inproceedings{KorovinV01:0,
  title = {Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2051/20510137.htm},
  tags = {rule-based, graph-rewriting, rules, rewriting},
  researchr = {https://researchr.org/publication/KorovinV01%3A0},
  cites = {0},
  citedby = {0},
  pages = {137-153},
  booktitle = {Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
  editor = {Aart Middeldorp},
  volume = {2051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42117-3},
}

@incollection{DegtyarevV01a,
  title = {Equality Reasoning in Sequent-Based Calculi},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {2001},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/DegtyarevV01a},
  cites = {0},
  citedby = {0},
  pages = {611-706},
  booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
  editor = {John Alan Robinson and Andrei Voronkov},
  publisher = {Elsevier and MIT Press},
  isbn = {0-444-50813-9},
}

@inproceedings{VorobyovV98,
  title = {Complexity of Nonrecursive Logic Programs with Complex Values},
  author = {Sergei G. Vorobyov and Andrei Voronkov},
  year = {1998},
  doi = {10.1145/275487.275515},
  url = {http://doi.acm.org/10.1145/275487.275515},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/VorobyovV98},
  cites = {0},
  citedby = {0},
  pages = {244-253},
  booktitle = {Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington},
  publisher = {ACM Press},
  isbn = {0-89791-996-3},
}

@inproceedings{Voronkov98:0,
  title = {Herbrand s Theorem, Automated Reasoning and Semantics Tableaux},
  author = {Andrei Voronkov},
  year = {1998},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Voronkov98%3A0},
  cites = {0},
  citedby = {0},
  pages = {252-263},
  booktitle = {LICS},
}

@article{Voronkov99:1,
  title = {The Ground-Negative Fragment of First-Order Logic Is Pi:::p:::::2::-Complete},
  author = {Andrei Voronkov},
  year = {1999},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/Voronkov99%3A1},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {64},
  number = {3},
  pages = {984-990},
}

@inproceedings{StarchenkoV88,
  title = {On connections between classical and constructive semantics},
  author = {Sergei Starchenko and Andrei Voronkov},
  year = {1988},
  tags = {semantics},
  researchr = {https://researchr.org/publication/StarchenkoV88},
  cites = {0},
  citedby = {0},
  pages = {275-285},
  booktitle = {COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings},
  editor = {Per Martin-Löf and Grigori Mints},
  volume = {417},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52335-9},
}

@inproceedings{BachmairGV98,
  title = {Elimination of Equality via Transformation with Ordering Constraints},
  author = {Leo Bachmair and Harald Ganzinger and Andrei Voronkov},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1421/14210175.htm},
  tags = {constraints, higher-order transformations, transformation},
  researchr = {https://researchr.org/publication/BachmairGV98},
  cites = {0},
  citedby = {0},
  pages = {175-190},
  booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
  editor = {Claude Kirchner and Hélène Kirchner},
  volume = {1421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64675-2},
}

@inproceedings{Voronkov00,
  title = {How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi},
  author = {Andrei Voronkov},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250401abs.htm},
  tags = {optimization, modal logic, redundancy, logic, search},
  researchr = {https://researchr.org/publication/Voronkov00},
  cites = {0},
  citedby = {0},
  pages = {401-412},
  booktitle = {LICS},
}

@inproceedings{JaberV06,
  title = {Implementation of UNIDOOR, a Deductive Object-Oriented Database System},
  author = {Mohammed K. Jaber and Andrei Voronkov},
  year = {2006},
  doi = {10.1007/11827252_14},
  url = {http://dx.doi.org/10.1007/11827252_14},
  tags = {meta-model, database, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JaberV06},
  cites = {0},
  citedby = {0},
  pages = {155-170},
  booktitle = {Advances in Databases and Information Systems, 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings},
  editor = {Yannis Manolopoulos and Jaroslav Pokorný and Timos K. Sellis},
  volume = {4152},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37899-5},
}

@inproceedings{Voronkov92:0,
  title = {On Computability by Logic Programs},
  author = {Andrei Voronkov},
  year = {1992},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/Voronkov92%3A0},
  cites = {0},
  citedby = {0},
  pages = {165},
  booktitle = {JICSLP},
}

@article{DegtyarevGNVV00,
  title = {Decidability and complexity of simultaneous rigid E-unification with one variable and related results},
  author = {Anatoli Degtyarev and Yuri Gurevich and Paliath Narendran and Margus Veanes and Andrei Voronkov},
  year = {2000},
  doi = {10.1016/S0304-3975(98)00185-6},
  url = {http://dx.doi.org/10.1016/S0304-3975(98)00185-6},
  tags = {e-science},
  researchr = {https://researchr.org/publication/DegtyarevGNVV00},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {243},
  number = {1-2},
  pages = {167-184},
}

@inproceedings{DegtyarevV00,
  title = {Stratified Resolution},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {2000},
  researchr = {https://researchr.org/publication/DegtyarevV00},
  cites = {0},
  citedby = {0},
  pages = {365-384},
  booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  editor = {David A. McAllester},
  volume = {1831},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67664-3},
}

@inproceedings{Voronkov00:0,
  title = {Deciding K using inverse-K},
  author = {Andrei Voronkov},
  year = {2000},
  researchr = {https://researchr.org/publication/Voronkov00%3A0},
  cites = {0},
  citedby = {0},
  pages = {198-209},
  booktitle = {KR},
}

@article{DantsinEGV01,
  title = {Complexity and expressive power of logic programming},
  author = {Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov},
  year = {2001},
  doi = {10.1145/502807.502810},
  url = {http://doi.acm.org/10.1145/502807.502810},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/DantsinEGV01},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {33},
  number = {3},
  pages = {374-425},
}

@incollection{RamakrishnanSV01,
  title = {Term Indexing},
  author = {I. V. Ramakrishnan and R. C. Sekar and Andrei Voronkov},
  year = {2001},
  tags = {C++},
  researchr = {https://researchr.org/publication/RamakrishnanSV01},
  cites = {0},
  citedby = {0},
  pages = {1853-1964},
  booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
  editor = {John Alan Robinson and Andrei Voronkov},
  publisher = {Elsevier and MIT Press},
  isbn = {0-444-50813-9},
}

@inproceedings{PerezV08,
  title = {Proof Systems for Effectively Propositional Logic},
  author = {Juan Antonio Navarro Pérez and Andrei Voronkov},
  year = {2008},
  doi = {10.1007/978-3-540-71070-7_36},
  url = {http://dx.doi.org/10.1007/978-3-540-71070-7_36},
  tags = {logic},
  researchr = {https://researchr.org/publication/PerezV08},
  cites = {0},
  citedby = {0},
  pages = {426-440},
  booktitle = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
  editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
  volume = {5195},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71069-1},
}

@inproceedings{DegtyarevGNVV98,
  title = {The Decidability of Simultaneous Rigid ::::E::::-Unification with One Variable},
  author = {Anatoli Degtyarev and Yuri Gurevich and Paliath Narendran and Margus Veanes and Andrei Voronkov},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1379/13790181.htm},
  tags = {e-science},
  researchr = {https://researchr.org/publication/DegtyarevGNVV98},
  cites = {0},
  citedby = {0},
  pages = {181-195},
  booktitle = {Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
  editor = {Tobias Nipkow},
  volume = {1379},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64301-X},
}

@inproceedings{KorovinV07,
  title = {Integrating Linear Arithmetic into Superposition Calculus},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2007},
  doi = {10.1007/978-3-540-74915-8_19},
  url = {http://dx.doi.org/10.1007/978-3-540-74915-8_19},
  researchr = {https://researchr.org/publication/KorovinV07},
  cites = {0},
  citedby = {0},
  pages = {223-237},
  booktitle = {Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings},
  editor = {Jacques Duparc and Thomas A. Henzinger},
  volume = {4646},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74914-1},
}

@inproceedings{SazonovV93,
  title = {A Construction of Typed Lambda Models Related to Feasible Computability},
  author = {Vladimir Yu. Sazonov and Andrei Voronkov},
  year = {1993},
  researchr = {https://researchr.org/publication/SazonovV93},
  cites = {0},
  citedby = {0},
  pages = {301-312},
  booktitle = {Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
  editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
  volume = {713},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57184-1},
}

@article{KorovinV03:1,
  title = {Orienting rewrite rules with the Knuth-Bendix order},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2003},
  doi = {10.1016/S0890-5401(03)00021-X},
  url = {http://dx.doi.org/10.1016/S0890-5401(03)00021-X},
  tags = {rule-based, graph-rewriting, rules, rewriting},
  researchr = {https://researchr.org/publication/KorovinV03%3A1},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {183},
  number = {2},
  pages = {165-186},
}

@article{Voronkov99:0,
  title = {Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand Theorem},
  author = {Andrei Voronkov},
  year = {1999},
  doi = {10.1016/S0304-3975(98)00317-X},
  url = {http://dx.doi.org/10.1016/S0304-3975(98)00317-X},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Voronkov99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {224},
  number = {1-2},
  pages = {319-352},
}

@article{RybinaV01,
  title = {A decision procedure for term algebras with queues},
  author = {Tatiana Rybina and Andrei Voronkov},
  year = {2001},
  doi = {10.1145/371316.371494},
  url = {http://doi.acm.org/10.1145/371316.371494},
  tags = { algebra},
  researchr = {https://researchr.org/publication/RybinaV01},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {2},
  number = {2},
  pages = {155-181},
}

@inproceedings{DegtyarevV96:1,
  title = {Equality Elimination for the Tableau Method},
  author = {Anatoli Degtyarev and Andrei Voronkov},
  year = {1996},
  researchr = {https://researchr.org/publication/DegtyarevV96%3A1},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO  96, Karlsruhe, Germany, September 18-20, 1996, Proceedings},
  editor = {Jacques Calmet and Carla Limongelli},
  volume = {1128},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61697-7},
}

@inproceedings{Voronkov06,
  title = {Inconsistencies in Ontologies},
  author = {Andrei Voronkov},
  year = {2006},
  doi = {10.1007/11853886_3},
  url = {http://dx.doi.org/10.1007/11853886_3},
  tags = {ontologies, ontology},
  researchr = {https://researchr.org/publication/Voronkov06},
  cites = {0},
  citedby = {0},
  pages = {19},
  booktitle = {Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  editor = {Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa},
  volume = {4160},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-39625-X},
}

@inproceedings{KorovinV05,
  title = {Random Databases and Threshold for Monotone Non-recursive Datalog},
  author = {Konstantin Korovin and Andrei Voronkov},
  year = {2005},
  doi = {10.1007/11549345_51},
  url = {http://dx.doi.org/10.1007/11549345_51},
  tags = {Datalog},
  researchr = {https://researchr.org/publication/KorovinV05},
  cites = {0},
  citedby = {0},
  pages = {591-602},
  booktitle = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings},
  editor = {Joanna Jedrzejowicz and Andrzej Szepietowski},
  volume = {3618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28702-7},
}

@inproceedings{Voronkov87,
  title = {Deductive Program Synthesis and Markov s Principle},
  author = {Andrei Voronkov},
  year = {1987},
  tags = {Markov},
  researchr = {https://researchr.org/publication/Voronkov87},
  cites = {0},
  citedby = {0},
  pages = {479-482},
  booktitle = {Fundamentals of Computation Theory, International Conference FCT 87, Kazan, USSR, June 22-26, 1987, Proceedings},
  editor = {Lothar Budach and Rais Gatic Bakharajev and Oleg Borisovic Lipanov},
  volume = {278},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18740-5},
}

@article{GurevichV99,
  title = {Monadic Simultaneous Rigid E-unification},
  author = {Yuri Gurevich and Andrei Voronkov},
  year = {1999},
  doi = {10.1016/S0304-3975(98)00123-6},
  url = {http://dx.doi.org/10.1016/S0304-3975(98)00123-6},
  tags = {e-science},
  researchr = {https://researchr.org/publication/GurevichV99},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {222},
  number = {1-2},
  pages = {133-152},
}

@article{Voronkov95:0,
  title = {On Computability by Logic Programs},
  author = {Andrei Voronkov},
  year = {1995},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Voronkov95%3A0},
  cites = {0},
  citedby = {0},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {15},
  number = {3-4},
  pages = {437-456},
}

@inproceedings{Voronkov03,
  title = {Automated Reasoning: Past Story and New Trends},
  author = {Andrei Voronkov},
  year = {2003},
  researchr = {https://researchr.org/publication/Voronkov03},
  cites = {0},
  citedby = {0},
  pages = {1607-1612},
  booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  editor = {Georg Gottlob and Toby Walsh},
  publisher = {Morgan Kaufmann},
}

@inproceedings{JaberV06:0,
  title = {UNIDOOR: a Deductive Object-Oriented Database Management System},
  author = {Mohammed K. Jaber and Andrei Voronkov},
  year = {2006},
  doi = {10.1109/ICDE.2006.164},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICDE.2006.164},
  tags = {meta-model, database, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JaberV06%3A0},
  cites = {0},
  citedby = {0},
  pages = {157},
  booktitle = {Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA},
  editor = {Ling Liu and Andreas Reuter and Kyu-Young Whang and Jianjun Zhang},
  publisher = {IEEE Computer Society},
}

@inproceedings{HorrocksV06,
  title = {Reasoning Support for Expressive Ontology Languages Using a Theorem Prover},
  author = {Ian Horrocks and Andrei Voronkov},
  year = {2006},
  doi = {10.1007/11663881_12},
  url = {http://dx.doi.org/10.1007/11663881_12},
  tags = {ontologies, ontology},
  researchr = {https://researchr.org/publication/HorrocksV06},
  cites = {0},
  citedby = {0},
  pages = {201-218},
  booktitle = {Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
  editor = {Jürgen Dix and Stephen J. Hegner},
  volume = {3861},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-31782-1},
}

@article{RiazanovV05,
  title = {Efficient instance retrieval with standard and relational path indexing},
  author = {Alexandre Riazanov and Andrei Voronkov},
  year = {2005},
  doi = {10.1016/j.ic.2004.10.012},
  url = {http://dx.doi.org/10.1016/j.ic.2004.10.012},
  researchr = {https://researchr.org/publication/RiazanovV05},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {199},
  number = {1-2},
  pages = {228-252},
}

@inproceedings{Voronkov91,
  title = {On Completeness of Program Synthesis Systems},
  author = {Andrei Voronkov},
  year = {1991},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Voronkov91},
  cites = {0},
  citedby = {0},
  pages = {411-418},
  booktitle = {Computer Science Logic, 5th Workshop, CSL  91, Berne, Switzerland, October 7-11, 1991, Proceedings},
  editor = {Egon Börger and Gerhard Jäger and Hans Kleine Büning and Michael M. Richter},
  volume = {626},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55789-X},
}

@article{Voronkov01,
  title = {How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi},
  author = {Andrei Voronkov},
  year = {2001},
  doi = {10.1145/371316.371511},
  url = {http://doi.acm.org/10.1145/371316.371511},
  tags = {optimization, modal logic, redundancy, logic, search},
  researchr = {https://researchr.org/publication/Voronkov01},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {2},
  number = {2},
  pages = {182-215},
}

@inproceedings{Voronkov90,
  title = {LISS - The Logic Inference Search System},
  author = {Andrei Voronkov},
  year = {1990},
  tags = {logic, search},
  researchr = {https://researchr.org/publication/Voronkov90},
  cites = {0},
  citedby = {0},
  pages = {677-678},
  booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings},
  editor = {Mark E. Stickel},
  volume = {449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52885-7},
}

@article{Voronkov98,
  title = {Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid ::::E::::-Unification},
  author = {Andrei Voronkov},
  year = {1998},
  tags = {e-science, logic, search},
  researchr = {https://researchr.org/publication/Voronkov98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {21},
  number = {2},
  pages = {205-231},
}

@article{Voronkov95,
  title = {The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees},
  author = {Andrei Voronkov},
  year = {1995},
  researchr = {https://researchr.org/publication/Voronkov95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {15},
  number = {2},
  pages = {237-265},
}

@inproceedings{BoleyMMRV91,
  title = {Declarative and Procedural Paradigms - Do they Really Compete? (Panel)},
  author = {Harold Boley and Micha Meier and Chris Moss and Michael M. Richter and Andrei Voronkov},
  year = {1991},
  researchr = {https://researchr.org/publication/BoleyMMRV91},
  cites = {0},
  citedby = {0},
  pages = {383-398},
  booktitle = {Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings},
  editor = {Harold Boley and Michael M. Richter},
  volume = {567},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55033-X},
}

@inproceedings{Voronkov96:0,
  title = {Merging Relational Database Technology with Constraint Technology},
  author = {Andrei Voronkov},
  year = {1996},
  tags = {relational database, constraints, database},
  researchr = {https://researchr.org/publication/Voronkov96%3A0},
  cites = {0},
  citedby = {0},
  pages = {409-419},
  booktitle = {Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings},
  editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
  volume = {1181},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62064-8},
}
@proceedings{lpar:2004,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings},
  year = {2005},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings},
  conference = {lpar},
  editor = {Franz Baader and Andrei Voronkov},
  volume = {3452},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25236-3},
}

@proceedings{lpar:2005,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings},
  year = {2005},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings},
  conference = {lpar},
  editor = {Geoff Sutcliffe and Andrei Voronkov},
  volume = {3835},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30553-X},
}

@proceedings{cade:2002,
  title = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  year = {2002},
  researchr = {https://researchr.org/publication/cade%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  conference = {cade},
  editor = {Andrei Voronkov},
  volume = {2392},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43931-5},
}

@proceedings{csr:2007,
  title = {Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings},
  year = {2007},
  tags = {e-science},
  researchr = {https://researchr.org/publication/csr%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings},
  editor = {Volker Diekert and Mikhail V. Volkov and Andrei Voronkov},
  volume = {4649},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74509-9},
}

@proceedings{lpar:2007,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings},
  year = {2007},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings},
  conference = {lpar},
  editor = {Nachum Dershowitz and Andrei Voronkov},
  volume = {4790},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75558-6},
}

@proceedings{ershov:2006,
  title = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers},
  year = {2007},
  researchr = {https://researchr.org/publication/ershov%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers},
  conference = {ershov},
  editor = {Irina Virbitskaite and Andrei Voronkov},
  volume = {4378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70880-3},
}

@book{RobinsonV01,
  title = {Handbook of Automated Reasoning (in 2 volumes)},
  year = {2001},
  researchr = {https://researchr.org/publication/RobinsonV01},
  cites = {0},
  citedby = {0},
  editor = {John Alan Robinson and Andrei Voronkov},
  publisher = {Elsevier and MIT Press},
  isbn = {0-444-50813-9},
}

@proceedings{lpar:1992,
  title = {Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  year = {1992},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A1992},
  cites = {0},
  citedby = {0},
  booktitle = {Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  conference = {lpar},
  editor = {Andrei Voronkov},
  volume = {624},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55727-X},
}

@proceedings{dagstuhl:1998change,
  title = {Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS  97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and De},
  year = {1998},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/dagstuhl%3A1998change},
  cites = {0},
  citedby = {0},
  booktitle = {Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS  97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and De},
  conference = {Dagstuhl},
  editor = {Burkhard Freitag and Hendrik Decker and Michael Kifer and Andrei Voronkov},
  volume = {1472},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65305-8},
}

@proceedings{lpar:2002,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings},
  year = {2002},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings},
  conference = {lpar},
  editor = {Matthias Baaz and Andrei Voronkov},
  volume = {2514},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00010-0},
}

@proceedings{lpar:2000,
  title = {Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  year = {2000},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2000},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  conference = {lpar},
  editor = {Michel Parigot and Andrei Voronkov},
  volume = {1955},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@proceedings{lpar:1991,
  title = {Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings},
  year = {1992},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A1991},
  cites = {0},
  citedby = {0},
  booktitle = {Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings},
  conference = {lpar},
  editor = {Andrei Voronkov},
  volume = {592},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55460-2},
}

@proceedings{rta:2008,
  title = {Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
  year = {2008},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/rta%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
  conference = {RTA},
  editor = {Andrei Voronkov},
  volume = {5117},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70588-8},
}

@proceedings{lpar:2003,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings},
  year = {2003},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings},
  conference = {lpar},
  editor = {Moshe Y. Vardi and Andrei Voronkov},
  volume = {2850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20101-7},
}

@proceedings{dagstuhl:2005P5431,
  title = {Deduction and Applications, 23.-28. October 2005},
  year = {2006},
  researchr = {https://researchr.org/publication/dagstuhl%3A2005P5431},
  cites = {0},
  citedby = {0},
  booktitle = {Deduction and Applications, 23.-28. October 2005},
  conference = {Dagstuhl},
  editor = {Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov},
  volume = {05431},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@proceedings{lpar:2001,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings},
  year = {2001},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2001},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings},
  conference = {lpar},
  editor = {Robert Nieuwenhuis and Andrei Voronkov},
  volume = {2250},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42957-3},
}

@proceedings{lpar:1999,
  title = {Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  year = {1999},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A1999},
  cites = {0},
  citedby = {0},
  booktitle = {Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  conference = {lpar},
  editor = {Harald Ganzinger and David A. McAllester and Andrei Voronkov},
  volume = {1705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66492-0},
}

@proceedings{lpar:2008,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings},
  year = {2008},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings},
  conference = {lpar},
  editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
  volume = {5330},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89438-4},
}

@proceedings{lpar:2006,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings},
  year = {2006},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings},
  conference = {lpar},
  editor = {Miki Hermann and Andrei Voronkov},
  volume = {4246},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48281-4},
}

@proceedings{lpar:1993,
  title = {Logic Programming and Automated Reasoning,4th International Conference, LPAR 93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
  year = {1993},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/lpar%3A1993},
  cites = {0},
  citedby = {0},
  booktitle = {Logic Programming and Automated Reasoning,4th International Conference, LPAR 93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
  conference = {lpar},
  editor = {Andrei Voronkov},
  volume = {698},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56944-8},
}