TY - CONF T1 - On quantified propositional logics and the exponential time hierarchy JO - Electronic Proceedings in Theoretical Computer Science, EPTCS PY - 2016/09/13 AU - Hannula M AU - Kontinen J AU - L眉ck M AU - Virtema J ED - DO - DOI: 10.4204/EPTCS.226.14 VL - 226 SP - 198 EP - 212 Y2 - 2025/06/21 ER -