Revision history for entry Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael (2002). "A tableau decision algorithm for modalized ALC with constant domains" [LUTATD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-24T21:41:35updateSystem / admin update -
2013-12-01T20:47:35updateSystem / admin update -
2010-09-28T06:32:52updateSystem / admin update -