Disproving False Conjectures
@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}, }