Ondrej Kuzelka Filip Zelezný A Restarted Strategy for Efficient Subsumption Testing. 95-109 2008 89 Fundam. Inform. 1 http://iospress.metapress.com/content/u817172675173568/ db/journals/fuin/fuin89.html#KuzelkaZ08