Juliana Freire Rui Hu Terrance Swift David Scott Warren Exploiting Parallelism in Tabled Evaluations 115-132 conf/plilp/95 PLILP 1995 db/conf/plilp/plilp95.html#FreireHSW95 http://dx.doi.org/10.1007/BFb0026817