Fast Offline Partial Evaluation of Logic Programs

Vidal Oriola Germán Francisco, Leuschel Michael

2014

Information and Computation