Order structure of symbolic assertion objects (1994)

by P Brito
Venue:IEEE Transactions on Knowledge and Data Engineering