TY - RPRT TI - A Witt type formula AU - G. A. T. F. da Costa PY - 2013 UR - https://arxiv.org/abs/1302.6950 ID - 1302.6950 ER -