Theorem proving for classical logic with partial functions by reduction to Kleene logic. - DE NIVELLE, HANS (Journal of Logic & Computation, 2017)