Maria Paola Bonacina & Jieh Hsiang (1995):
The Clause-Diffusion methodology for distributed deduction.
Fundamenta Informaticae 24(1, 2),
pp. 177–207,
doi:10.3233/FI-1995-24128.
Jörg Denzinger & Martin Kronenburg (1996):
Planning for distributed theorem proving: The teamwork approach.
In: Günther Görz & Steffen Hölldobler: KI-96: Advances in Artificial Intelligence.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 43–56,
doi:10.1007/3-540-61708-6_45.
Konstantin Korovin (2013):
Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning,
pp. 239–270.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-37651-1_10.
Laura Kovács & Andrei Voronkov (2013):
First-Order Theorem Proving and Vampire.
In: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings,
pp. 1–35,
doi:10.1007/978-3-642-39799-8_1.
Greg Nelson & Derek C. Oppen (1979):
Simplification by Cooperating Decision Procedures.
ACM Trans. Program. Lang. Syst. 1(2),
pp. 245–257,
doi:10.1145/357073.357079.
Giles Reger, Martin Suda & Andrei Voronkov (2015):
Playing with AVATAR.
In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings,
pp. 399–415,
doi:10.1007/978-3-319-21401-6_28.
Giles Reger, Martin Suda & Andrei Voronkov (2016):
The Challenges of Evaluating a New Feature in Vampire.
In: Laura Kov\ 'acs & Andrei Voronkov: Proceedings of the 1st and 2nd Vampire Workshops,
EPiC Series in Computing 38.
EasyChair,
pp. 70–74,
doi:10.29007/1ffk.
Giles Reger, Martin Suda & Andrei Voronkov (2016):
Finding Finite Models in Multi-sorted First-Order Logic.
In: Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings,
pp. 323–341,
doi:10.1007/978-3-319-40970-2_20.
Giles Reger, Dmitry Tishkovsky & Andrei Voronkov (2015):
Cooperating Proof Attempts.
In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings,
pp. 339–355,
doi:10.1007/978-3-319-21401-6_23.
Tanel Tammet (1997):
Gandalf.
Journal of Automated Reasoning 18(2),
pp. 199–204,
doi:10.1023/A:1005887414560.
Andrei Voronkov (2014):
AVATAR: The Architecture for First-Order Theorem Provers.
In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings,
pp. 696–710,
doi:10.1007/978-3-319-08867-9_46.
Christoph Weidenbach (2017):
Do Portfolio Solvers Harm?.
In: Giles Reger & Dmitriy Traytel: ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements,
EPiC Series in Computing 51.
EasyChair,
pp. 76–81,
doi:10.29007/vpxm.