A New Hyperparamodulation Strategy for the Equality Relation

Younghwan Lim, Lawrence J. Henschen. A New Hyperparamodulation Strategy for the Equality Relation. In IJCAI. pages 1138-1145, 1985.

Abstract

Abstract is missing.