Changwoo Pyo Partial evaluation of logic programs. 593-596 1988 conf/acm/1988 ACM Conference on Computer Science http://doi.acm.org/10.1145/322609.323132 db/conf/acm/csc1988.html#Pyo88