Laux, Armin

1 publications

IJCAI 1995 Terminological Logics with Modal Operators Franz Baader, Armin Laux