Search results for: Franz Baader
Journal of Symbolic Computation > 2001 > 31 > 3 > 277-305
Journal of Symbolic Computation > 1996 > 21 > 2 > 211-243
Journal of Symbolic Computation > 2001 > 31 > 3 > 277-305
Journal of Symbolic Computation > 1996 > 21 > 2 > 211-243