Controlling conjunctive partial deduction of definite logic programs (1996)

by R Glück, J Jørgensen, B Martens, M H Sørensen
Venue:in H. Kuchen and S. Swierstra (eds), Proceedings of PLILP’96, LNCS 1140