TAMENESS AND THE POWER OF PROGRAMS OVER MONOIDS IN DA. - GROSSHANS, NATHAN; MCKENZIE, PIERRE; SEGOUFIN, LUC (Logical Methods in Computer Science (LMCS), 2022)