Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs - Joke Meheus, Dagmar Provijn - Theoria: An International Journal for Theory, History and Foundations of Science (Philosophy Documentation Center)