Algebra and Logic

Article
Gray,R;Malheiro,A;Pride,SJ
JOURNAL OF SYMBOLIC COMPUTATION

2013
50

50-78
10.1016/j.jsc.2012.05.006