Extending ALCQIO with Trees.

Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Browse the full LICS paper archive.