TY - RPRT TI - Deciding Entailment of Implications with Support and Confidence in Polynomial Space AU - Daniel Borchmann PY - 2012 UR - https://arxiv.org/abs/1201.5719 ID - 1201.5719 ER -