Return to Article Details Abduction through semantic tableaux versus abduction through goal-directed proofs Download Download PDF