An Efficient and Precise Sharing Domain for Logic Programs.

Christian Fecht An Efficient and Precise Sharing Domain for Logic Programs. 469-470 1996 conf/plilp/1996 PLILP db/conf/plilp/plilp96.html#Fecht96 http://dx.doi.org/10.1007/3-540-61756-6_104