Exploring Finite Models in the Description Logic .

Franz Baader, Felix Distel

Browse the full ICFCA paper archive.