Semantically Guided Theorem Proving for Diagnosis Applications (1997)

by P Baumgartner, P Fröhlich, U Furbach, W Nejdl
Venue:In M. Pollack Ed., 15th International Joint Conference on Artificial Intelligence (IJCAI 97