A fast algorithm for semi-uni (1998)

by A Oliart, W Snyder
Venue:In CADE-15, LNCS