TY - RPRT TI - Groups definable in two orthogonal sorts AU - Alessandro Berarducci AU - Marcello Mamino PY - 2013 UR - https://arxiv.org/abs/1304.1380 ID - 1304.1380 ER -