Proving Theorems in a Multi-Source Environment

Laurence Cholvy. Proving Theorems in a Multi-Source Environment. In IJCAI. pages 66-73, 1993.