3 works on record
Logic of Domains
1991
Domain Theory, Logic and Computation
Formal Methods for the Analysis of Biomedical Ontologies