Flat matching (2008)

by T Kutsia
Venue:J. Symb. Comput