TY - RPRT TI - Heuristic rule for constructing physics axiomatization AU - Florin Moldoveanu PY - 2010 UR - https://arxiv.org/abs/1001.4586 ID - 1001.4586 ER -