U.: a computationally tractable terminological logic (0)

by S Sebastiani, Straccia
Venue:In: Proceedings of the 3rd Scandinavian Conference on Artificial Intelligence