Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2010/2424/ (Any fulltext)
Sofronie-Stokkermans, V. (2010). Automated Reasoning in Extensions of Theories of Constructors with Recursively Defined Functions and Homomorphisms. In T. Ball, J. Giesl, R. Hähnle, & T. Nipkow (Eds.), Interaction versus Automation: the two Faces of Deduction (pp. 1-33). Wadern: Schloss Dagstuhl. Retrieved from http://drops.dagstuhl.de/opus/volltexte/2010/2424/pdf/09411.SofronieStokkermansViorica.Paper.2424.pdf.