The complexity of primal logic with disjunction

Marco Magirius, Martin Mundhenk, Raphaela Palenta. The complexity of primal logic with disjunction. Inf. Process. Lett., 115(5):536-542, 2015. [doi]

Abstract

Abstract is missing.