Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.

Michael Leuschel Bern Martens Danny De Schreye Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. 208-258 1998 20 ACM Trans. Program. Lang. Syst. 1 db/journals/toplas/toplas20.html#LeuschelMS98 http://doi.acm.org/10.1145/271510.271525