Tourret, Sophie Automation of Logic, MPI for Informatics, Max Planck Society;
Tourret, S., & Cropper, A. (in press). SLD-Resolution Reduction of Second-Order Horn Fragments. In 16th edition of the European Conference on Logics in Artificial Intelligence. Berlin: Springer.