TREE-AUTOMATIC WELL-FOUNDED TREES. - HUSCHENBETT, MARTIN; KARTZOW, ALEXANDER; JIAMOU LIU; LOHREY, MARKUS (Logical Methods in Computer Science (LMCS), 2013)