Maksimova. Complexity of Some Problems in Positive and Related Calculi. Elsevier BV, 2003, doi:10.1016/s0304-3975(02)00450-4.