Advanced Topics in Automated Deduction IDTR-87-39AuthorsWolfgang BibelPublishing dateNovember 1987File(s)TR-87-39.pdf