A Restarted Strategy for Efficient Subsumption Testing

Kuželka, O., Železný, F.

KUŽELKA, O. and F. ŽELEZNÝ. A Restarted Strategy for Efficient Subsumption Testing. Fundamenta Informaticae. 2008, 89(1), 95-109. ISSN 0169-2968.