M.-Elisabeth Goncalves, Erich Grädel. Decidability issues for action guarded logics. In Franz Baader, Ulrike Sattler, editors, Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Volume 33 of CEUR Workshop Proceedings, pages 123-132, CEUR-WS.org, 2000. [doi]
Abstract is missing.