Partial deduction of updateable definite logic programs

JC Shepherdson, K Benkerimi

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

3 Citations (Scopus)
Translated title of the contributionPartial deduction of updateable definite logic programs
Original languageEnglish
Pages (from-to)1 - 26
Number of pages25
JournalJournal of Logic Programming
Volume18
Publication statusPublished - 1994

Cite this