An ExpTime Upper Bound for ALC with Integers.

Nadia Labai, Magdalena Ortiz, Mantas Simkus

Browse the full KR paper archive.