publications:
- title: "The Undecidability of Simultaneous Rigid E-Unification"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(96)00092-8"
  links:
    doi: "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"
  kind: "article"
  key: "DegtyarevV96"
- title: "Herbrand s Theorem and Equational Reasoning: Problems and Solutions"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  researchr: "https://researchr.org/publication/DegtyarevGV01"
  cites: 0
  citedby: 0
  pages: "303-326"
  booktitle: "Current Trends in Theoretical Computer Science"
  kind: "incollection"
  key: "DegtyarevGV01"
- title: "Semantics of Constraint Logic Programs with Bounded Quantifiers"
  author:
  - name: "Martin Argenius"
    link: "https://researchr.org/alias/martin-argenius"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Roy Dyckhoff"
    link: "https://researchr.org/alias/roy-dyckhoff"
  - name: "Heinrich Herre"
    link: "https://researchr.org/alias/heinrich-herre"
  - name: "Peter Schroeder-Heister"
    link: "https://researchr.org/alias/peter-schroeder-heister"
  volume: "1050"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60983-0"
  kind: "inproceedings"
  key: "ArgeniusV96"
- title: "KK: a theorem prover for K"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1632/16320383.htm"
  links:
    doi: "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:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "1632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66222-7"
  kind: "inproceedings"
  key: "Voronkov99"
- title: "Simultaneous Regid E-Unification Is Undecidable"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Hans Kleine Büning"
    link: "https://researchr.org/alias/hans-kleine-b%C3%BCning"
  volume: "1092"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61377-3"
  kind: "inproceedings"
  key: "DegtyarevV95"
- title: "Knuth-Bendix Constraint Solving Is NP-Complete"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760979.htm"
  links:
    doi: "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:
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  - name: "Paul G. Spirakis"
    link: "https://researchr.org/alias/paul-g.-spirakis"
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  volume: "2076"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42287-0"
  kind: "inproceedings"
  key: "KorovinV01"
- title: "Splitting Without Backtracking"
  author:
  - name: "Alexandre Riazanov"
    link: "https://researchr.org/alias/alexandre-riazanov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  publisher: "Morgan Kaufmann"
  isbn: "1-55860-777-3"
  kind: "inproceedings"
  key: "RiazanovV01"
- title: "Strategies in Rigid-Variable Methods"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1997"
  researchr: "https://researchr.org/publication/Voronkov97"
  cites: 0
  citedby: 0
  pages: "114-121"
  booktitle: "IJCAI (1)"
  kind: "inproceedings"
  key: "Voronkov97"
- title: "Orienting Equalities with the Knuth-Bendix Order"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840075abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KorovinV03:0"
- title: "Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Michael A. McRobbie"
    link: "https://researchr.org/alias/michael-a.-mcrobbie"
  - name: "John K. Slaney"
    link: "https://researchr.org/alias/john-k.-slaney"
  volume: "1104"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61511-3"
  kind: "inproceedings"
  key: "Voronkov96:1"
- title: "A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2000"
  doi: "http://www.computer.org/proceedings/lics/0725/07250291abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KorovinV00"
- title: "Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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"
  kind: "article"
  key: "Voronkov03:0"
- title: "Higher Order Functions in First Order Theory"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Danny Dolev"
    link: "https://researchr.org/alias/danny-dolev"
  - name: "Zvi Galil"
    link: "https://researchr.org/alias/zvi-galil"
  - name: "Michael Rodeh"
    link: "https://researchr.org/alias/michael-rodeh"
  volume: "601"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55553-6"
  kind: "inproceedings"
  key: "Voronkov92"
- title: "The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2556/25560230.htm"
  links:
    doi: "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:
  - name: "Manindra Agrawal"
    link: "https://researchr.org/alias/manindra-agrawal"
  - name: "Anil Seth"
    link: "https://researchr.org/alias/anil-seth"
  volume: "2556"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00225-1"
  kind: "inproceedings"
  key: "KorovinV02"
- title: "Handling Equality in Logic Programming via Basic Folding"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Roy Dyckhoff"
    link: "https://researchr.org/alias/roy-dyckhoff"
  - name: "Heinrich Herre"
    link: "https://researchr.org/alias/heinrich-herre"
  - name: "Peter Schroeder-Heister"
    link: "https://researchr.org/alias/peter-schroeder-heister"
  volume: "1050"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60983-0"
  kind: "inproceedings"
  key: "DegtyarevV96:0"
- title: "The Inverse Method"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  researchr: "https://researchr.org/publication/DegtyarevV01"
  cites: 0
  citedby: 0
  pages: "179-272"
  booktitle: "Handbook of Automated Reasoning (in 2 volumes)"
  editor:
  - name: "John Alan Robinson"
    link: "https://researchr.org/alias/john-alan-robinson"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  publisher: "Elsevier and MIT Press"
  isbn: "0-444-50813-9"
  kind: "incollection"
  key: "DegtyarevV01"
- title: "Herbrand s Theorem and Equational Reasoning: Problems and Solutions"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1996"
  researchr: "https://researchr.org/publication/DegtyarevGV96"
  cites: 0
  citedby: 0
  journal: "Bulletin of the EATCS"
  volume: "60"
  pages: "78-96"
  kind: "article"
  key: "DegtyarevGV96"
- title: "Finding Loop Invariants for Programs over Arrays Using a Theorem Prover"
  author:
  - name: "Laura Kovács"
    link: "https://researchr.org/alias/laura-kov%C3%A1cs"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_33"
  links:
    doi: "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:
  - name: "Marsha Chechik"
    link: "https://researchr.org/alias/marsha-chechik"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "5503"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00592-3"
  kind: "inproceedings"
  key: "KovacsV09"
- title: "An AC-Compatible Knuth-Bendix Order"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2741&spage=47"
  links:
    doi: "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:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  volume: "2741"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40559-3"
  kind: "inproceedings"
  key: "KorovinV03"
- title: "Algorithms, Datastructures, and other Issues in Efficient Automated Deduction"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2083/20830013.htm"
  links:
    doi: "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:
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Alexander Leitsch"
    link: "https://researchr.org/alias/alexander-leitsch"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "2083"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42254-4"
  kind: "inproceedings"
  key: "Voronkov01:0"
- title: "Logic Programming with Bounded Quantifiers"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "592"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55460-2"
  kind: "inproceedings"
  key: "Voronkov91:0"
- title: "Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Pierangelo Miglioli"
    link: "https://researchr.org/alias/pierangelo-miglioli"
  - name: "Ugo Moscato"
    link: "https://researchr.org/alias/ugo-moscato"
  - name: "Daniele Mundici"
    link: "https://researchr.org/alias/daniele-mundici"
  - name: "Mario Ornaghi"
    link: "https://researchr.org/alias/mario-ornaghi"
  volume: "1071"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61208-4"
  kind: "inproceedings"
  key: "Voronkov96"
- title: "The design and implementation of VAMPIRE"
  author:
  - name: "Alexandre Riazanov"
    link: "https://researchr.org/alias/alexandre-riazanov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2002"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=2&spage=91"
  links:
    doi: "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"
  kind: "article"
  key: "RiazanovV02"
- title: "Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2051/20510137.htm"
  links:
    doi: "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:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  volume: "2051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42117-3"
  kind: "inproceedings"
  key: "KorovinV01:0"
- title: "Equality Reasoning in Sequent-Based Calculi"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "John Alan Robinson"
    link: "https://researchr.org/alias/john-alan-robinson"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  publisher: "Elsevier and MIT Press"
  isbn: "0-444-50813-9"
  kind: "incollection"
  key: "DegtyarevV01a"
- title: "Complexity of Nonrecursive Logic Programs with Complex Values"
  author:
  - name: "Sergei G. Vorobyov"
    link: "https://researchr.org/alias/sergei-g.-vorobyov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/275487.275515"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "VorobyovV98"
- title: "Herbrand s Theorem, Automated Reasoning and Semantics Tableaux"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1998"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Voronkov98%3A0"
  cites: 0
  citedby: 0
  pages: "252-263"
  booktitle: "LICS"
  kind: "inproceedings"
  key: "Voronkov98:0"
- title: "The Ground-Negative Fragment of First-Order Logic Is Pi:::p:::::2::-Complete"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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"
  kind: "article"
  key: "Voronkov99:1"
- title: "On connections between classical and constructive semantics"
  author:
  - name: "Sergei Starchenko"
    link: "https://researchr.org/alias/sergei-starchenko"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Per Martin-Löf"
    link: "https://researchr.org/alias/per-martin-l%C3%B6f"
  - name: "Grigori Mints"
    link: "https://researchr.org/alias/grigori-mints"
  volume: "417"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52335-9"
  kind: "inproceedings"
  key: "StarchenkoV88"
- title: "Elimination of Equality via Transformation with Ordering Constraints"
  author:
  - name: "Leo Bachmair"
    link: "https://researchr.org/alias/leo-bachmair"
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1421/14210175.htm"
  links:
    doi: "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:
  - name: "Claude Kirchner"
    link: "https://researchr.org/alias/claude-kirchner"
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  volume: "1421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64675-2"
  kind: "inproceedings"
  key: "BachmairGV98"
- title: "How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2000"
  doi: "http://www.computer.org/proceedings/lics/0725/07250401abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Voronkov00"
- title: "Implementation of UNIDOOR, a Deductive Object-Oriented Database System"
  author:
  - name: "Mohammed K. Jaber"
    link: "https://researchr.org/alias/mohammed-k.-jaber"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11827252_14"
  links:
    doi: "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:
  - name: "Yannis Manolopoulos"
    link: "https://researchr.org/alias/yannis-manolopoulos"
  - name: "Jaroslav Pokorný"
    link: "https://researchr.org/alias/jaroslav-pokorn%C3%BD"
  - name: "Timos K. Sellis"
    link: "https://researchr.org/alias/timos-k.-sellis"
  volume: "4152"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37899-5"
  kind: "inproceedings"
  key: "JaberV06"
- title: "On Computability by Logic Programs"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1992"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Voronkov92%3A0"
  cites: 0
  citedby: 0
  pages: "165"
  booktitle: "JICSLP"
  kind: "inproceedings"
  key: "Voronkov92:0"
- title: "Decidability and complexity of simultaneous rigid E-unification with one variable and related results"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Paliath Narendran"
    link: "https://researchr.org/alias/paliath-narendran"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(98)00185-6"
  links:
    doi: "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"
  kind: "article"
  key: "DegtyarevGNVV00"
- title: "Stratified Resolution"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "David A. McAllester"
    link: "https://researchr.org/alias/david-a.-mcallester"
  volume: "1831"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67664-3"
  kind: "inproceedings"
  key: "DegtyarevV00"
- title: "Deciding K using inverse-K"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2000"
  researchr: "https://researchr.org/publication/Voronkov00%3A0"
  cites: 0
  citedby: 0
  pages: "198-209"
  booktitle: "KR"
  kind: "inproceedings"
  key: "Voronkov00:0"
- title: "Complexity and expressive power of logic programming"
  author:
  - name: "Evgeny Dantsin"
    link: "https://researchr.org/alias/evgeny-dantsin"
  - name: "Thomas Eiter"
    link: "https://researchr.org/alias/thomas-eiter"
  - name: "Georg Gottlob"
    link: "https://researchr.org/alias/georg-gottlob"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/502807.502810"
  links:
    doi: "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"
  kind: "article"
  key: "DantsinEGV01"
- title: "Term Indexing"
  author:
  - name: "I. V. Ramakrishnan"
    link: "https://researchr.org/alias/i.-v.-ramakrishnan"
  - name: "R. C. Sekar"
    link: "https://researchr.org/alias/r.-c.-sekar"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "John Alan Robinson"
    link: "https://researchr.org/alias/john-alan-robinson"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  publisher: "Elsevier and MIT Press"
  isbn: "0-444-50813-9"
  kind: "incollection"
  key: "RamakrishnanSV01"
- title: "Proof Systems for Effectively Propositional Logic"
  author:
  - name: "Juan Antonio Navarro Pérez"
    link: "https://researchr.org/alias/juan-antonio-navarro-p%C3%A9rez"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-71070-7_36"
  links:
    doi: "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:
  - name: "Alessandro Armando"
    link: "https://researchr.org/alias/alessandro-armando"
  - name: "Peter Baumgartner"
    link: "https://researchr.org/alias/peter-baumgartner"
  - name: "Gilles Dowek"
    link: "https://researchr.org/alias/gilles-dowek"
  volume: "5195"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71069-1"
  kind: "inproceedings"
  key: "PerezV08"
- title: "The Decidability of Simultaneous Rigid ::::E::::-Unification with One Variable"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Paliath Narendran"
    link: "https://researchr.org/alias/paliath-narendran"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1379/13790181.htm"
  links:
    doi: "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:
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "1379"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64301-X"
  kind: "inproceedings"
  key: "DegtyarevGNVV98"
- title: "Integrating Linear Arithmetic into Superposition Calculus"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74915-8_19"
  links:
    doi: "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:
  - name: "Jacques Duparc"
    link: "https://researchr.org/alias/jacques-duparc"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  volume: "4646"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74914-1"
  kind: "inproceedings"
  key: "KorovinV07"
- title: "A Construction of Typed Lambda Models Related to Feasible Computability"
  author:
  - name: "Vladimir Yu. Sazonov"
    link: "https://researchr.org/alias/vladimir-yu.-sazonov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Georg Gottlob"
    link: "https://researchr.org/alias/georg-gottlob"
  - name: "Alexander Leitsch"
    link: "https://researchr.org/alias/alexander-leitsch"
  - name: "Daniele Mundici"
    link: "https://researchr.org/alias/daniele-mundici"
  volume: "713"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57184-1"
  kind: "inproceedings"
  key: "SazonovV93"
- title: "Orienting rewrite rules with the Knuth-Bendix order"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0890-5401(03)00021-X"
  links:
    doi: "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"
  kind: "article"
  key: "KorovinV03:1"
- title: "Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand Theorem"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0304-3975(98)00317-X"
  links:
    doi: "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"
  kind: "article"
  key: "Voronkov99:0"
- title: "A decision procedure for term algebras with queues"
  author:
  - name: "Tatiana Rybina"
    link: "https://researchr.org/alias/tatiana-rybina"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/371316.371494"
  links:
    doi: "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"
  kind: "article"
  key: "RybinaV01"
- title: "Equality Elimination for the Tableau Method"
  author:
  - name: "Anatoli Degtyarev"
    link: "https://researchr.org/alias/anatoli-degtyarev"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Jacques Calmet"
    link: "https://researchr.org/alias/jacques-calmet"
  - name: "Carla Limongelli"
    link: "https://researchr.org/alias/carla-limongelli"
  volume: "1128"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61697-7"
  kind: "inproceedings"
  key: "DegtyarevV96:1"
- title: "Inconsistencies in Ontologies"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11853886_3"
  links:
    doi: "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:
  - name: "Michael Fisher"
    link: "https://researchr.org/alias/michael-fisher"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Boris Konev"
    link: "https://researchr.org/alias/boris-konev"
  - name: "Alexei Lisitsa"
    link: "https://researchr.org/alias/alexei-lisitsa"
  volume: "4160"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-39625-X"
  kind: "inproceedings"
  key: "Voronkov06"
- title: "Random Databases and Threshold for Monotone Non-recursive Datalog"
  author:
  - name: "Konstantin Korovin"
    link: "https://researchr.org/alias/konstantin-korovin"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11549345_51"
  links:
    doi: "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:
  - name: "Joanna Jedrzejowicz"
    link: "https://researchr.org/alias/joanna-jedrzejowicz"
  - name: "Andrzej Szepietowski"
    link: "https://researchr.org/alias/andrzej-szepietowski"
  volume: "3618"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28702-7"
  kind: "inproceedings"
  key: "KorovinV05"
- title: "Deductive Program Synthesis and Markov s Principle"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Lothar Budach"
    link: "https://researchr.org/alias/lothar-budach"
  - name: "Rais Gatic Bakharajev"
    link: "https://researchr.org/alias/rais-gatic-bakharajev"
  - name: "Oleg Borisovic Lipanov"
    link: "https://researchr.org/alias/oleg-borisovic-lipanov"
  volume: "278"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-18740-5"
  kind: "inproceedings"
  key: "Voronkov87"
- title: "Monadic Simultaneous Rigid E-unification"
  author:
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0304-3975(98)00123-6"
  links:
    doi: "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"
  kind: "article"
  key: "GurevichV99"
- title: "On Computability by Logic Programs"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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"
  kind: "article"
  key: "Voronkov95:0"
- title: "Automated Reasoning: Past Story and New Trends"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Georg Gottlob"
    link: "https://researchr.org/alias/georg-gottlob"
  - name: "Toby Walsh"
    link: "https://researchr.org/alias/toby-walsh"
  publisher: "Morgan Kaufmann"
  kind: "inproceedings"
  key: "Voronkov03"
- title: "UNIDOOR: a Deductive Object-Oriented Database Management System"
  author:
  - name: "Mohammed K. Jaber"
    link: "https://researchr.org/alias/mohammed-k.-jaber"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICDE.2006.164"
  links:
    doi: "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:
  - name: "Ling Liu"
    link: "https://researchr.org/alias/ling-liu"
  - name: "Andreas Reuter"
    link: "https://researchr.org/alias/andreas-reuter"
  - name: "Kyu-Young Whang"
    link: "https://researchr.org/alias/kyu-young-whang"
  - name: "Jianjun Zhang"
    link: "https://researchr.org/alias/jianjun-zhang"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "JaberV06:0"
- title: "Reasoning Support for Expressive Ontology Languages Using a Theorem Prover"
  author:
  - name: "Ian Horrocks"
    link: "https://researchr.org/alias/ian-horrocks"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11663881_12"
  links:
    doi: "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:
  - name: "Jürgen Dix"
    link: "https://researchr.org/alias/j%C3%BCrgen-dix"
  - name: "Stephen J. Hegner"
    link: "https://researchr.org/alias/stephen-j.-hegner"
  volume: "3861"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-31782-1"
  kind: "inproceedings"
  key: "HorrocksV06"
- title: "Efficient instance retrieval with standard and relational path indexing"
  author:
  - name: "Alexandre Riazanov"
    link: "https://researchr.org/alias/alexandre-riazanov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ic.2004.10.012"
  links:
    doi: "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"
  kind: "article"
  key: "RiazanovV05"
- title: "On Completeness of Program Synthesis Systems"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Gerhard Jäger"
    link: "https://researchr.org/alias/gerhard-j%C3%A4ger"
  - name: "Hans Kleine Büning"
    link: "https://researchr.org/alias/hans-kleine-b%C3%BCning"
  - name: "Michael M. Richter"
    link: "https://researchr.org/alias/michael-m.-richter"
  volume: "626"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55789-X"
  kind: "inproceedings"
  key: "Voronkov91"
- title: "How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/371316.371511"
  links:
    doi: "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"
  kind: "article"
  key: "Voronkov01"
- title: "LISS - The Logic Inference Search System"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Mark E. Stickel"
    link: "https://researchr.org/alias/mark-e.-stickel"
  volume: "449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52885-7"
  kind: "inproceedings"
  key: "Voronkov90"
- title: "Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid ::::E::::-Unification"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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"
  kind: "article"
  key: "Voronkov98"
- title: "The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  year: "1995"
  researchr: "https://researchr.org/publication/Voronkov95"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "15"
  number: "2"
  pages: "237-265"
  kind: "article"
  key: "Voronkov95"
- title: "Declarative and Procedural Paradigms - Do they Really Compete? (Panel)"
  author:
  - name: "Harold Boley"
    link: "https://researchr.org/alias/harold-boley"
  - name: "Micha Meier"
    link: "https://researchr.org/alias/micha-meier"
  - name: "Chris Moss"
    link: "https://researchr.org/alias/chris-moss"
  - name: "Michael M. Richter"
    link: "https://researchr.org/alias/michael-m.-richter"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Harold Boley"
    link: "https://researchr.org/alias/harold-boley"
  - name: "Michael M. Richter"
    link: "https://researchr.org/alias/michael-m.-richter"
  volume: "567"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55033-X"
  kind: "inproceedings"
  key: "BoleyMMRV91"
- title: "Merging Relational Database Technology with Constraint Technology"
  author:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  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:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Igor V. Pottosin"
    link: "https://researchr.org/alias/igor-v.-pottosin"
  volume: "1181"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62064-8"
  kind: "inproceedings"
  key: "Voronkov96:0"
- 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:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "3452"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25236-3"
  kind: "proceedings"
  key: "lpar:2004"
- 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:
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "3835"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30553-X"
  kind: "proceedings"
  key: "lpar:2005"
- 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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2392"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43931-5"
  kind: "proceedings"
  key: "cade:2002"
- 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:
  - name: "Volker Diekert"
    link: "https://researchr.org/alias/volker-diekert"
  - name: "Mikhail V. Volkov"
    link: "https://researchr.org/alias/mikhail-v.-volkov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4649"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74509-9"
  kind: "proceedings"
  key: "csr: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:
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4790"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75558-6"
  kind: "proceedings"
  key: "lpar:2007"
- 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:
  - name: "Irina Virbitskaite"
    link: "https://researchr.org/alias/irina-virbitskaite"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4378"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70880-3"
  kind: "proceedings"
  key: "ershov:2006"
- title: "Handbook of Automated Reasoning (in 2 volumes)"
  year: "2001"
  researchr: "https://researchr.org/publication/RobinsonV01"
  cites: 0
  citedby: 0
  editor:
  - name: "John Alan Robinson"
    link: "https://researchr.org/alias/john-alan-robinson"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  publisher: "Elsevier and MIT Press"
  isbn: "0-444-50813-9"
  kind: "book"
  key: "RobinsonV01"
- 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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "624"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55727-X"
  kind: "proceedings"
  key: "lpar:1992"
- 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:
  - name: "Burkhard Freitag"
    link: "https://researchr.org/alias/burkhard-freitag"
  - name: "Hendrik Decker"
    link: "https://researchr.org/alias/hendrik-decker"
  - name: "Michael Kifer"
    link: "https://researchr.org/alias/michael-kifer"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "1472"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65305-8"
  kind: "proceedings"
  key: "dagstuhl:1998change"
- 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:
  - name: "Matthias Baaz"
    link: "https://researchr.org/alias/matthias-baaz"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2514"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00010-0"
  kind: "proceedings"
  key: "lpar:2002"
- 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:
  - name: "Michel Parigot"
    link: "https://researchr.org/alias/michel-parigot"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "1955"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "proceedings"
  key: "lpar:2000"
- 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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "592"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55460-2"
  kind: "proceedings"
  key: "lpar:1991"
- 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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5117"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70588-8"
  kind: "proceedings"
  key: "rta:2008"
- 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:
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20101-7"
  kind: "proceedings"
  key: "lpar:2003"
- 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:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Peter Baumgartner"
    link: "https://researchr.org/alias/peter-baumgartner"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "05431"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2005P5431"
- 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:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2250"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42957-3"
  kind: "proceedings"
  key: "lpar:2001"
- 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:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "David A. McAllester"
    link: "https://researchr.org/alias/david-a.-mcallester"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "1705"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66492-0"
  kind: "proceedings"
  key: "lpar:1999"
- 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:
  - name: "Iliano Cervesato"
    link: "https://researchr.org/alias/iliano-cervesato"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5330"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89438-4"
  kind: "proceedings"
  key: "lpar:2008"
- 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:
  - name: "Miki Hermann"
    link: "https://researchr.org/alias/miki-hermann"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4246"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-48281-4"
  kind: "proceedings"
  key: "lpar:2006"
- 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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "698"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56944-8"
  kind: "proceedings"
  key: "lpar:1993"