ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES. - CERNA, DAVID M.; PARSERT, JULIAN (Logical Methods in Computer Science (LMCS), 2026)