Inproceedings,

An Algebraic Foundation for Truth Maintenance.

, , and .
IJCAI, page 973-980. Morgan Kaufmann, (1987)

Meta data

Tags

Users

  • @dblp

Comments and Reviews