TY - JOUR T1 - Adaptive strategies and finite-conditional premise sets JF - Journal of Logic and Computation Y1 - 2016 A1 - Straßer, Christian A1 - Van De Putte, Frederik VL - 26 SP - 1517-1539 UR - + http://dx.doi.org/10.1093/logcom/exu044 ER -