Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. - Mapetlwane Litha Mokwana; John Andrew van der Poll (SAICSIT, 2015)