An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Browse the full ICLP paper archive.