Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning

著者: Giles Reger, Martin Suda, Andrei Voronkov - Lecture notes in computer science 2018 被引用: 24