Synthesizing Proof Planning Methods and Oants Agents from Mathematical Knowledge<pre>@inproceedings{AD-06-a,
  author        = {Serge Autexier and Dominik Dietrich},
  editor        = {Jon Borwein and Bill Farmer},
  booktitle     = {Proceedings of MKM'06},
  title         = {Synthesizing Proof Planning Methods and Oants Agents from Mathematical Knowledge},
  volume        = {4108},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {94-109},
  month         = {august},
  year          = {2006},
}
</pre>