![](/img/cover-not-exists.png)
Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness
Bonacina, Maria Paola, Plaisted, David A.Volume:
59
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9384-2
Date:
August, 2017
File:
PDF, 901 KB
english, 2017