@inproceedings{LOPSTR-2006-LeuschelCE,
author = "Michael Leuschel and Stephen-John Craig and Daniel Elphick",
booktitle = "{Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-540-71410-1_5",
isbn = "978-3-540-71409-5",
pages = "43--59",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques}",
volume = 4407,
year = 2006,
}
Tags: