Title: A general criterion for avoiding infinite unfolding during partial deduction of logic programs
Authors: Bruynooghe, Maurice
De Schreye, Danny
Martens, Bern #
Issue Date: 1991
Publisher: MIT Press
Host Document: ILPS91: International Logic Programming Symposium pages:117-131
Conference: 1991 International Logic Programming Symposium location:San Diego, California, USA date:October 28 - November 1, 1991
ISBN: 0-262-69147-7
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science