Constructing finite algebras with (1996)

by J Zhang
Venue:FALCON, J. Automated Reasoning