Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov. The Vampire Approach to Induction (short paper). In Boris Konev, Claudia Schon, Alexander Steen, editors, Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. Volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
Abstract is missing.