M de Rougemont
-
Constructive second-order proofs in logical databases
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2