%0 Journal Article %1 journals/tcs/SchairerAH01 %A Schairer, Axel %A Autexier, Serge %A Hutter, Dieter %D 2001 %J Electr. Notes Theor. Comput. Sci. %K dblp %N 2 %P 203-216 %T A Pragmatic Approach to Reuse in Tactical Theorem Proving. %U http://dblp.uni-trier.de/db/journals/tcs/entcs58.html#SchairerAH01 %V 58

@article{journals/tcs/SchairerAH01, added-at = {2011-06-21T00:00:00.000+0200}, author = {Schairer, Axel and Autexier, Serge and Hutter, Dieter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/202ddc5f4b5361499ba95b760fd7c9fec/dblp}, ee = {http://dx.doi.org/10.1016/S1571-0661(04)00286-5}, interhash = {ef5d5dd2d1bc5bf9d9a62de9f8919c4a}, intrahash = {02ddc5f4b5361499ba95b760fd7c9fec}, journal = {Electr. Notes Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {203-216}, timestamp = {2016-02-02T10:04:30.000+0100}, title = {A Pragmatic Approach to Reuse in Tactical Theorem Proving.}, url = {http://dblp.uni-trier.de/db/journals/tcs/entcs58.html#SchairerAH01}, volume = 58, year = 2001 }