Michael Dixon, Johan de Kleer. Massively Parallel Assumption-Based Truth Maintenance. In AAAI. pages 199-204, 1988.
@inproceedings{DixonK88,
title = {Massively Parallel Assumption-Based Truth Maintenance},
author = {Michael Dixon and Johan de Kleer},
year = {1988},
tags = {rule-based, maintenance},
researchr = {https://researchr.org/publication/DixonK88},
cites = {0},
citedby = {0},
pages = {199-204},
booktitle = {AAAI},
}