New completeness results for lazy conditional narrowing.

Mircea Marin, Aart Middeldorp

Browse the full PPDP paper archive.