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-25T01:41:35updateSystem / admin update -
2013-12-02T01:47:35updateSystem / admin update -
2010-09-28T11:32:52updateSystem / admin update -