Büchi Complementation and Size-Change Termination (Logical Methods in Computer Science, 2012)