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
2015-02-06T00:02:04updateSystem / admin update -
2014-03-26T03:43:09updateSystem / admin update -
2013-12-01T20:47:18updateSystem / admin update -
2013-10-30T01:55:31updateSystem / admin update -
2010-09-28T06:28:19updateSystem / admin update -