%0 Journal Article
%T Automatic Learning of Proof Methods in Proof Planning
%A Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
%J Logic Journal of the IGPL
%V 11
%N 6
%@ 1367-0751
%D 2003-11-01
%I Oxford University Press
%~ DeepDyve