Model Comparison Games for Horn Description Logics.

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev

Browse the full LICS paper archive.