SLDNF-resolution with equality

JC Shepherdson

Research output: Contribution to journalArticle (Academic Journal)peer-review

Translated title of the contributionSLDNF-resolution with equality
Original languageEnglish
Pages (from-to)297 - 306
Number of pages9
JournalJournal of Automated Reasoning
Volume8
Publication statusPublished - 1993

Cite this