Unfold/fold transformations of logic programs

PA Gardner, JC Shepherdson

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Translated title of the contribution	Unfold/fold transformations of logic programs
Original language	English
Title of host publication	Essays in honour of Alan Robinson
Editors	J-L Lassez, G Plotkin
Publisher	Massachusetts Institute of Technology (MIT) Press
Pages	542 - 564
Number of pages	22
ISBN (Print)	026212156
Publication status	Published - 1991

Handle.net

@inbook{bf119fa849a14e2e84753a209ef254cf,

title = "Unfold/fold transformations of logic programs",

author = "PA Gardner and JC Shepherdson",

year = "1991",

language = "English",

isbn = "026212156",

pages = "542 -- 564",

editor = "J-L Lassez and G Plotkin",

booktitle = "Essays in honour of Alan Robinson",

publisher = "Massachusetts Institute of Technology (MIT) Press",

address = "United States",

}