Algebra and Logic

Article
Araujo,J;McCune,W
COMMUNICATIONS IN ALGEBRA

2010
38
3
1104-1121
10.1080/00927870902911797