"MaramaAI: Automated and Visual Approach for Inconsistency Checking of ..."

Massila Kamalrudin, John G. Hosking, John C. Grundy (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics