TY - RPRT TI - On Generalizing Decidable Standard Prefix Classes of First-Order Logic AU - Marco Voigt PY - 2017 UR - https://arxiv.org/abs/1706.03949 ID - 1706.03949 ER -