Algebra and Logic

Article
Araujo,J;Edmundo,M;Givant,S
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION

2011
21
7
1237-1257
10.1142/s0218196711006923