TY - JOUR AU - Khoussainov, Bakhadyr AU - Slaman, Theodore AU - Semukhin, Pavel IS - 6 JA - Archive for Mathematical Logic PB - Springer PY - 2006 TI - $$\\Pi^0_1$$ -Presentations of Algebras VL - 45 ER -