The role of standardising apart in logic programming

JC Shepherdson

Research output: Contribution to journalArticle (Academic Journal)

6 Citations (Scopus)
Translated title of the contributionThe role of standardising apart in logic programming
Original languageEnglish
Pages (from-to)143 - 166
Number of pages24
JournalTheoretical Computer Science
Volume129
Publication statusPublished - 1994

Cite this