Revision history for entry Baader, Franz; Sattler, Ulrike (2001). "An overview of tableau algorithms for description logics" [BAAAOO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-26T07:43:09updateSystem / admin update -
2013-12-02T01:47:18updateSystem / admin update -
2013-10-30T05:55:31updateSystem / admin update -
2010-09-28T11:28:19updateSystem / admin update -