![]() |
@article{DBLP:journals/toplas/LeuschelMS98,
author = {Michael Leuschel and
Bern Martens and
Danny De Schreye},
title = {Controlling Generalization amd Polyvariance in Partial Deduction
of Normal Logic Programs},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {20},
number = {1},
year = {1998},
pages = {208-258},
ee = {http://doi.acm.org/10.1145/271510.271525},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-26 by Michael Ley (ley@uni-trier.de)