Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.

Sebastian Rudolph, Lukas Schweizer

Browse the full EPIA paper archive.