"Towards a Language for CLP Choice-Tree Visualisation."

Christophe Aillaud, Pierre Deransart (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics