Trivializing the Proof of Trivial Theorems

Kodratoff and Castaing. "Trivializing the Proof of Trivial Theorems." International Joint Conference on Artificial Intelligence, 1983.

[Kodratoff and Castaing. "Trivializing the Proof of Trivial Theorems." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/kodratoff1983ijcai-trivializing/)

@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/}
}