TY - RPRT TI - Fitting and Learning Basis-Restricted Propositional Formulas AU - Balder ten Cate PY - 2026 UR - https://arxiv.org/abs/2609.08961 ID - 2609.08961 ER -