SLD−Resolution Reduction of Second−Order Horn Fragments
Sophie Tourret and Andrew Cropper
Book Title
Logics in Artificial Intelligence − 16th European Conference‚ JELIA 2019‚ Rende‚ Italy‚ May 7−11‚ 2019‚ Proceedings
Editor
Francesco Calimeri and Nicola Leone and Marco Manna
ISBN
978−3−030−19569−4
Pages
259–276
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
11468
Year
2019