ML Anthology

Shin, D. G.

1 publications

IJCAI 1985 A Many-Sorted Resolution Based on an Extension of a First-Order Language Keki B. Irani, D. G. Shin