"Automated Software Tool Support for Checking the Inconsistency of ..."

Massila Kamalrudin (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics