TY - RPRT TI - TP1-valid Transformation Functions for Operations on ordered n-ary Trees AU - Tim Jungnickel AU - Tobias Herb PY - 2015 DO - 10.1145/2851613.2852003 UR - https://arxiv.org/abs/1512.05949 ID - 1512.05949 ER -