%0 Journal Article %1 journals/ai/HolteMZM96 %A Holte, Robert C. %A Mkadmi, T. %A Zimmer, Robert M. %A MacDonald, Alan J. %D 1996 %J Artif. Intell. %K dblp %N 1-2 %P 321-361 %T Speeding up Problem Solving by Abstraction: A Graph Oriented Approach. %U http://dblp.uni-trier.de/db/journals/ai/ai85.html#HolteMZM96 %V 85

@article{journals/ai/HolteMZM96, added-at = {2005-05-23T00:00:00.000+0200}, author = {Holte, Robert C. and Mkadmi, T. and Zimmer, Robert M. and MacDonald, Alan J.}, biburl = {https://www.bibsonomy.org/bibtex/2f9141c5b6c660df2a9df83ac631912f9/dblp}, date = {2005-05-23}, description = {dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(95)00111-5}, interhash = {7b1964f1833e5ae121efc5214e2384a9}, intrahash = {f9141c5b6c660df2a9df83ac631912f9}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {321-361}, timestamp = {2005-05-23T00:00:00.000+0200}, title = {Speeding up Problem Solving by Abstraction: A Graph Oriented Approach.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai85.html#HolteMZM96}, volume = 85, year = 1996 }