System presentation (1991)

by BACK
Venue:In Terminological Logic Users Workshop -- Proceedings, page 186, KIT-Report 95