ML Anthology

Evangelist, W. M.

1 publications

IJCAI 1977 Theorem Proving by Covering Expressions Lawrence J. Henschen, W. M. Evangelist