terminological reasoning for Oz?

[Thorsten Bohnenberger]

Dear Oz-users,

do you know about a terminological system on the basis of Oz?
If existing, is it publically available? And where if so?

Thanks very much for your help
- Thorsten.
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.