Disproving False Conjectures<pre>@inproceedings{AS-03-a,
  author        = {Autexier, Serge and Sch\"urmann, Carsten},
  editor        = {Vardi, Moshe Y. and Voronkov, Andrei},
  booktitle     = {Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning},
  title         = {Disproving False Conjectures},
  volume        = {2850},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {33-48},
  month         = {september},
  year          = {2003},
}
</pre>