TY - RPRT TI - Reasoning in Infinitely Valued G-IALCQ AU - Stefan Borgwardt AU - Rafael PeƱaloza PY - 2015 UR - https://arxiv.org/abs/1509.08761 ID - 1509.08761 ER -