Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
http://www.avacs.org/Publikationen/Open/avacs_technical_report_093.pdf (Publisher version)
Horbach, M., & Sofronie-Stokkermans, V.(2014). Obtaining Finite Local Theory Axiomatizations via Saturation (ATR93). SFB/TR 14 AVACS.