| 2014 | LOPSTR | Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. | Sandra Alves, Anatoli Degtyarev, Maribel Fernndez |
| 2006 | JELIA | On Arbitrary Selection Strategies for Basic Superposition. | Vladimir Aleksic, Anatoli Degtyarev |
| 2005 | LPAR | Regular Derivations in Basic Superposition-Based Calculi. | Vladimir Aleksic, Anatoli Degtyarev |
| 2003 | CADE | Monodic Temporal Resolution. | Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2003 | LPAR | Handling Equality in Monodic Temporal Resolution. | Boris Konev, Anatoli Degtyarev, Michael Fisher |
| 2003 | TIME | Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
| 2002 | LPAR | Searching for Invariants Using Temporal Resolution. | James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
| 2002 | TABLEAUX | A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. | Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2001 | KI | Towards First-Order Temporal Resolution. | Anatoli Degtyarev, Michael Fisher |
| 2000 | CADE | Stratified Resolution. | Anatoli Degtyarev, Andrei Voronkov |
| 1999 | LPAR | Evidence Algorithm and Sequent Logical Inference Search. | Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets |
| 1996 | JELIA | What You Always Wanted to Know About Rigid E-Unification. | Anatoli Degtyarev, Andrei Voronkov |
| 1996 | LICS | Simultaneous E-Unification and Related Algorithmic Problems. | Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov |
| 1996 | LICS | Decidability Problems for the Prenex Fragment of Intuitionistic Logic. | Anatoli Degtyarev, Andrei Voronkov |
| 1995 | CSL | Simultaneous Regid E-Unification Is Undecidable. | Anatoli Degtyarev, Andrei Voronkov |
| 1995 | ICLP | A New Procedural Interpretation of Horn Clauses with Equality. | Anatoli Degtyarev, Andrei Voronkov |
| 1995 | IJCAI | Equality Elimination for the Inverse Method and Extension Procedures. | Anatoli Degtyarev, Andrei Voronkov |
| 1992 | LPAR | Consistency of Equational Enrichments. | Valentin M. Antimirov, Anatoli Degtyarev |