"The Connectionist Inductive Learning and Logic Programming System."

Artur S. d'Avila Garcez, Gerson Zaverucha (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics