%0 Journal Article %1 journals/amai/HuangKC98 %A Huang, Xiaorong %A Kerber, Manfred %A Cheikhrouhou, Lassaad %D 1998 %J Ann. Math. Artif. Intell. %K dblp %N 3-4 %P 299-320 %T Adaptation of Declaratively Represented Methods in Proof Planning. %U http://dblp.uni-trier.de/db/journals/amai/amai23.html#HuangKC98 %V 23

@article{journals/amai/HuangKC98, added-at = {2011-05-18T00:00:00.000+0200}, author = {Huang, Xiaorong and Kerber, Manfred and Cheikhrouhou, Lassaad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2012a476dfc0472379a556a8b335fda19/dblp}, ee = {http://dx.doi.org/10.1023/A:1018980611571}, interhash = {e53ed2d10a7462f60eba52192390d36c}, intrahash = {012a476dfc0472379a556a8b335fda19}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {3-4}, pages = {299-320}, timestamp = {2016-02-02T09:13:49.000+0100}, title = {Adaptation of Declaratively Represented Methods in Proof Planning.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai23.html#HuangKC98}, volume = 23, year = 1998 }