TY - RPRT TI - Implementation of a Unimodularity Test AU - Matthias Walter AU - Klaus Truemper PY - 2012 UR - https://arxiv.org/abs/1202.4061 ID - 1202.4061 ER -