On Automated Testing of Description Logic Reasoners.

Marian Babik, Ladislav Hluch

Browse the full ICDCIT paper archive.