Logic program specialisation through partial deduction: Control issues (2002)

by Michael Leuschel, Maurice Bruynooghe
Venue:THEORY AND PRACTICE OF LOGIC PROGRAMMING