Algebra and Logic

Article
Araujo,J;Buenau,PV;Mitchell,JD;Neunhoeffer,M
JOURNAL OF SYMBOLIC COMPUTATION

2010
45
3
373-392
10.1016/j.jsc.2009.10.001