Franz Baader Carsten Lutz Maja Milicic Ulrike Sattler Frank Wolter Integrating Description Logics and Action Formalisms: First Results. 572-577 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#BaaderLMSW05