Search results
Journal of Automated Reasoning > 2019 > 63 > 2 > 415-438
Journal of Philosophical Logic > 2002 > 31 > 2 > 181-196
Journal of Automated Reasoning > 2019 > 63 > 2 > 415-438
Journal of Philosophical Logic > 2002 > 31 > 2 > 181-196