Meta-Level Categories (1994)

by N Guarino, M Carrara, P Giaretta
Venue:KR94 Proceedings