Johan de Kleer. Extending the ATMS. Artificial Intelligence, 28(2):163-196, 1986.
@article{Kleer86a, title = {Extending the ATMS}, author = {Johan de Kleer}, year = {1986}, researchr = {https://researchr.org/publication/Kleer86a}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {28}, number = {2}, pages = {163-196}, }