ML Anthology

Vershinin, Konstantin

1 publications

IJCAI 1983 Negative Hyper-Resolution for Proving Statements Containing Transitive Relations Tamás Gergely, Konstantin Vershinin