Order Structure of Symbolic Assertion Objects

@article{Brito1994OrderSO,
  title={Order Structure of Symbolic Assertion Objects},
  author={Paula Brito},
  journal={IEEE Trans. Knowl. Data Eng.},
  year={1994},
  volume={6},
  pages={830-834}
}