Olivier Ridoux Patrice Boizumault Frédéric Malésieux Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. 267-283 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#RidouxBM99 http://dx.doi.org/10.1007/10705424_18