New Polynomial Classes for Logic-Based Abduction

Open in new window