SLD-resolution reduction of second-order Horn fragments
From MaRDI portal
Publication:2296711
DOI10.1007/978-3-030-19570-0_17OpenAlexW2922022659MaRDI QIDQ2296711
Sophie Tourret, Andrew Cropper
Publication date: 18 February 2020
Full work available at URL: https://arxiv.org/abs/1902.09900
Related Items (2)
This page was built for publication: SLD-resolution reduction of second-order Horn fragments