Return to Article Details New Polynomial Classes for Logic-Based Abduction Download Download PDF