Extending ALCQ With Bounded Self-Reference - Gorin, Daniel; Schröder, Lutz (Advances in Modal Logic, 2012)
UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.profes_1.extend