How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.

Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin

Browse the full LPAR paper archive.