de Rougemont. "Constructive Second-Order Proofs in Logical Databases." International Joint Conference on Artificial Intelligence, 1987.
Markdown
[de Rougemont. "Constructive Second-Order Proofs in Logical Databases." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/derougemont1987ijcai-constructive/)
BibTeX
@inproceedings{derougemont1987ijcai-constructive,
title = {{Constructive Second-Order Proofs in Logical Databases}},
author = {de Rougemont, Michel},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {993-996},
url = {https://mlanthology.org/ijcai/1987/derougemont1987ijcai-constructive/}
}