%0 Journal Article %1 journals/expert/StanojevicVV94 %A Stanojevic, Mladen %A Vranes, Sanja %A Velasevic, Dusan M. %D 1994 %J IEEE Expert %K dblp %N 6 %P 46-56 %T Using Truth Maintenance Systems: A Tutorial. %U http://dblp.uni-trier.de/db/journals/expert/expert9.html#StanojevicVV94 %V 9

@article{journals/expert/StanojevicVV94, added-at = {2023-09-30T00:00:00.000+0200}, author = {Stanojevic, Mladen and Vranes, Sanja and Velasevic, Dusan M.}, biburl = {https://www.bibsonomy.org/bibtex/22dc33773ed2aec67d2cd7616a190a01d/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/64.363270}, interhash = {3d462fd2ebfba69e6c8ffe0a63b516b3}, intrahash = {2dc33773ed2aec67d2cd7616a190a01d}, journal = {IEEE Expert}, keywords = {dblp}, number = 6, pages = {46-56}, timestamp = {2024-04-09T05:39:39.000+0200}, title = {Using Truth Maintenance Systems: A Tutorial.}, url = {http://dblp.uni-trier.de/db/journals/expert/expert9.html#StanojevicVV94}, volume = 9, year = 1994 }