Fast Offline Partial Evaluation of Large Logic Programs (2009)

by M Leuschel, G Vidal
Venue:In Proc. of LOPSTR’08