A Framework for Bottom Up Specialisation of Logic Programs.

Wim Vanhoof Danny De Schreye Bern Martens A Framework for Bottom Up Specialisation of Logic Programs. 54-72 http://link.springer.de/link/service/series/0558/bibs/1490/14900054.htm 1998 conf/plilp/1998 PLILP/ALP db/conf/plilp/plilp98.html#VanhoofSM98