Title: Relaxed Abduction
Subjects: Computer science, mathematics