Maps for Reasoning in Ultimate. - Jeremy C. Weiss; Sean Childers (MLSA@PKDD/ECML, 2013)