@article{melis2008proof,
  title={Proof planning with multiple strategies},
  author={Melis, Erica and Meier, Andreas and Siekmann, J{\"o}rg},
  journal={Artificial Intelligence},
  volume={172},
  number={6-7},
  pages={656--684},
  year={2008},
  publisher={Elsevier}
}