Massively Parallel Assumption-Based Truth Maintenance

Dixon and de Kleer. "Massively Parallel Assumption-Based Truth Maintenance." AAAI Conference on Artificial Intelligence, 1988.

[Dixon and de Kleer. "Massively Parallel Assumption-Based Truth Maintenance." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/dixon1988aaai-massively/)

@inproceedings{dixon1988aaai-massively,
  title     = {{Massively Parallel Assumption-Based Truth Maintenance}},
  author    = {Dixon, Michael and de Kleer, Johan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {199-204},
  url       = {https://mlanthology.org/aaai/1988/dixon1988aaai-massively/}
}