%0 Journal Article %1 journals/tcs/Autexier01 %A Autexier, Serge %D 2001 %J Electron. Notes Theor. Comput. Sci. %K %N 2 %P 189-202 %T A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. %U http://dblp.uni-trier.de/db/journals/tcs/entcs58.html#Autexier01 %V 58

@article{journals/tcs/Autexier01, added-at = {2023-12-13T04:14:56.000+0100}, author = {Autexier, Serge}, biburl = {https://www.bibsonomy.org/bibtex/27f36de9b259fba4a53bb5d0c53e17d84/admin}, ee = {https://doi.org/10.1016/S1571-0661(04)00285-3}, interhash = {9394bd8f36f91c9a70d54d34550abeca}, intrahash = {7f36de9b259fba4a53bb5d0c53e17d84}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 2, pages = {189-202}, timestamp = {2023-12-13T04:14:56.000+0100}, title = {A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.}, url = {http://dblp.uni-trier.de/db/journals/tcs/entcs58.html#Autexier01}, volume = 58, year = 2001 }