Advanced Topics in Automated Deduction ID TR-87-39 Authors Wolfgang Bibel Publishing date November 1987 File(s) TR-87-39.pdf