SLD-Resolution Reduction of Second-Order Horn Fragments.

Sophie Tourret, Andrew Cropper

Browse the full JELIA paper archive.