TY - RPRT TI - Induction in Algebra: a First Case Study AU - Peter M Schuster PY - 2013 DO - 10.2168/lmcs-9(3:20)2013 UR - https://arxiv.org/abs/1308.2690 ID - 1308.2690 ER -