G. Berger, H. Tompits:
"On Axiomatic Rejection for the Description Logic ALC";
Talk: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Deutschland; 2013-09-11 - 2013-09-13; in: "Kiel Declarative Programming Days 2013", M. Hanus, R. Rocha (ed.); (2013), 78 - 92.