Algebra and Logic

Article in Press
Kahle,R;Keller,W
CoRR

2015
abs/1507.04678