Login / Signup

New completeness results for lazy conditional narrowing.

Mircea MarinAart Middeldorp
Published in: PPDP (2004)
Keyphrases