Extensible universes for object-oriented data models

Cached

Download Links

by Achim D. Brucker , Burkhart Wolff
Venue:Journal of Automated Reasoning
Citations:5 - 1 self