"A CLP-Based, Diagnosticity-Driven System for Concept Combinations."

Georgios Tagalakis, Daniela Ferrari, Mark T. Keane (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics