@inproceedings{meier,
  author = {A. Meier and C. P. Gomes and E. Melis},
  title = {Randomization and Restarts in Proof Planning},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {403-408}
}