%0 Journal Article %1 journals/ai/MelisS99 %A Melis, Erica %A Siekmann, Jörg H. %D 1999 %J Artif. Intell. %K dblp %N 1 %P 65-105 %T Knowledge-Based Proof Planning. %U http://dblp.uni-trier.de/db/journals/ai/ai115.html#MelisS99 %V 115

@article{journals/ai/MelisS99, added-at = {2003-11-19T00:00:00.000+0100}, author = {Melis, Erica and Siekmann, Jörg H.}, biburl = {https://www.bibsonomy.org/bibtex/242b50ebeeea61f1783f7e7f9da8c25be/dblp}, date = {2003-11-19}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0004-3702(99)00076-4}, interhash = {df735c395005337d46bb26225db23752}, intrahash = {42b50ebeeea61f1783f7e7f9da8c25be}, journal = {Artif. Intell.}, keywords = {dblp}, number = 1, pages = {65-105}, timestamp = {2003-11-19T00:00:00.000+0100}, title = {Knowledge-Based Proof Planning.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai115.html#MelisS99}, volume = 115, year = 1999 }