Return to Article Details Abduction in Finite Models Download Download PDF