Unsolvable problems for SLDNF-resolution

JC Shepherdson

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

17 Citations (Scopus)
Translated title of the contributionUnsolvable problems for SLDNF-resolution
Original languageEnglish
Pages (from-to)19 - 22
Number of pages3
JournalJournal of Logic Programming
Volume10
Publication statusPublished - 1991

Cite this