Unification by errorcorrection (2008)

by E Komendantskaya
Venue:In Proceedings of NeSy’08 workshop at ECAI’08