Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning

Authors: Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science 2018 cited by 24