%0 Journal Article %1 Doyle:1979 %A Doyle, Jon %D 1979 %J Artificial Intelligence %K 1979 reasoning %T A Truth Maintenance System %V 12

@article{Doyle:1979, added-at = {2009-04-02T11:07:42.000+0200}, author = {Doyle, Jon}, biburl = {https://www.bibsonomy.org/bibtex/2b32c9cb500ec094feab18b320d924c66/jeenbroekstra}, interhash = {ba14175433a10d023e74ce89f0f07dc5}, intrahash = {b32c9cb500ec094feab18b320d924c66}, journal = {{Artificial Intelligence}}, keywords = {1979 reasoning}, timestamp = {2009-04-02T14:37:56.000+0200}, title = {{A Truth Maintenance System}}, volume = 12, year = 1979 }