%0 Journal Article %1 journals/sigart/NadoBF91 %A Nado, Robert %A Baalen, Jeffrey Van %A Fikes, Richard %D 1991 %J SIGART Bull. %K dblp %N 3 %P 101-107 %T JOSIE: An Integration of Specialized Representation and Reasoning Tools. %U http://dblp.uni-trier.de/db/journals/sigart/sigart2.html#NadoBF91 %V 2

@article{journals/sigart/NadoBF91, added-at = {2020-05-19T00:00:00.000+0200}, author = {Nado, Robert and Baalen, Jeffrey Van and Fikes, Richard}, biburl = {https://www.bibsonomy.org/bibtex/25154ae9ec78f78b408ddcb414766e0eb/dblp}, ee = {https://doi.org/10.1145/122296.122312}, interhash = {58a3eeee6f73af811aa6116c0f277d64}, intrahash = {5154ae9ec78f78b408ddcb414766e0eb}, journal = {SIGART Bull.}, keywords = {dblp}, number = 3, pages = {101-107}, timestamp = {2020-05-20T11:39:53.000+0200}, title = {JOSIE: An Integration of Specialized Representation and Reasoning Tools.}, url = {http://dblp.uni-trier.de/db/journals/sigart/sigart2.html#NadoBF91}, volume = 2, year = 1991 }