ML Anthology

Lim, Younghwan

1 publications

IJCAI 1985 A New Hyperparamodulation Strategy for the Equality Relation Younghwan Lim, Lawrence J. Henschen