Semantic resolution tree

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Kundu, S (1986-12-01). "Tree resolution and generalized semantic tree". Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems. ISMIS '86. Knoxville, Tennessee, USA: Association for Computing Machinery. pp. 270–278. doi:10.1145/12808.12838. ISBN 978-0-89791-206-8. S2CID 17442587. <a href="978-0-89791-206-8" target="_blank">978-0-89791-206-8</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Kim, Choon Kyu; Newborn, Monty (2003). Dongarra, Jack; Laforenza, Domenico; Orlando, Salvatore (eds.). "Competitive Semantic Tree Theorem Prover with Resolutions". Recent Advances in Parallel Virtual Machine and Message Passing Interface. Lecture Notes in Computer Science. 2840. Berlin, Heidelberg: Springer: 227–231. doi:10.1007/978-3-540-39924-7_33. ISBN 978-3-540-39924-7. <a href="978-3-540-39924-7" target="_blank">978-3-540-39924-7</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

Semantic resolution tree open-in-new

Semantic resolution tree