Skip to main navigation Skip to search Skip to main content

Partial deduction of updateable definite logic programs

  • JC Shepherdson
  • , K Benkerimi

Research output: Contribution to journal › Article (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

Handle.net

Cite this