ML Anthology

Degtyarev, Anatoli

1 publications

IJCAI 1995 Equality Elimination for the Inverse Method and Extension Procedures Anatoli Degtyarev, Andrei Voronkov