Kodratoff and Castaing. "Trivializing the Proof of Trivial Theorems." International Joint Conference on Artificial Intelligence, 1983.
Markdown
[Kodratoff and Castaing. "Trivializing the Proof of Trivial Theorems." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/kodratoff1983ijcai-trivializing/)
BibTeX
@inproceedings{kodratoff1983ijcai-trivializing,
title = {{Trivializing the Proof of Trivial Theorems}},
author = {Kodratoff, Yves and Castaing, Jacqueline},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {930-932},
url = {https://mlanthology.org/ijcai/1983/kodratoff1983ijcai-trivializing/}
}