Implementing Groundness Analysis with Definite Boolean Functions.

Jacob M. Howe, Andy King

Browse the full ESOP paper archive.