1 January 1996

The journal article “Optimal groundness analysis using propositional logic”, by Cortesi, A., File’, G., Winsborough, W., has just been published in “Journal of Logic Programming”! Available here.