Proving Infinite Satisfiability. - Peter Baumgartner 001; Joshua Bax (LPAR, 2013)

Finite Quantification in Hierarchic Theorem Proving. - Peter Baumgartner 001; Joshua Bax; Uwe Waldmann (IJCAR, 2014)

A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories. - Joshua Bax (PAAR@IJCAR, 2014)

Beagle - A Hierarchic Superposition Theorem Prover. - Peter Baumgartner 001; Joshua Bax; Uwe Waldmann (CADE, 2015)