@Article{DS:JICS-2000,
  author =       {J. Denzinger and S. Schulz},
  title =        {{Automatic Acquisition of Search Control Knowledge
                  from Multiple Proof Attempts}},
  journal =      {Journal of Information and Computation},
  year =         {2000},
  volume =       {162},
  pages =        {59--79},
}