"Refined Coherence as Constraint Satisfaction Framework for Representing ..."

Michal Araszkiewicz, Jaromír Savelka (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics