Entailment of Non-Structural Subtype Constraints (1999)

by Joachim Niehren , Tim Priesnitz
Venue:In Asian Computing Science Conference, number 1742 in LNCS
Citations:6 - 5 self