"Towards a Practical Full Mode Inference System for CLP(H, N)."

Veroniek Dumortier, Gerda Janssens (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics