Partial Semantics for Truth Maintenance - a Compositional Approach

@inproceedings{Witteveen1990PartialSF,
  title={Partial Semantics for Truth Maintenance - a Compositional Approach},
  author={Cees Witteveen},
  booktitle={JELIA},
  year={1990}
}