Order Structure of Symbolic Assertion Objects (1994)

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