ENUMERATION AND UPDATES FOR CONJUNCTIVE LINEAR ALGEBRA QUERIES THROUGH EXPRESSIBILITY. - MUÑOZ, THOMAS; RIVEROS, CRISTIAN; VANSUMMEREN, STIJN (Logical Methods in Computer Science (LMCS), 2026)