TY - RPRT TI - Logic of left variable inclusion and Plonka sums of matrices AU - Stefano Bonzio AU - Tommaso Moraschini AU - Michele Pra Baldi PY - 2020 DO - 10.1007/s00153-020-00727-6 UR - https://arxiv.org/abs/1804.08897 ID - 1804.08897 ER -