@misc{W2147096558,
  author = {Johan de Kleer},
  title = {An assumption-based TMS},
  year = {1986},
  howpublished = {Artificial Intelligence},
  doi = {https://doi.org/10.1016/0004-3702(86)90080-9}
}