1. NRCL - a model building approach to the Bernays-Schönfinkel fragment;Alagi,2015
2. On restrictions of ordered paramodulation with simplification;Bachmair,1990
3. Refutational theorem proving for hierarchic first-order theories;Bachmair;Appl. Algebra Eng. Commun. Comput.,1994
4. CVC4;Barrett,2011
5. Splitting on demand in SAT modulo theories;Barrett,2006