Entailment of non-structural subtype constraints (1999)

by J Niehren, T Priesnitz
Venue:In Asian Computing Science Conference, LNCS