Advanced Topics in Automated Deduction

ID
TR-87-39
Authors
Wolfgang Bibel
Publishing date
November 1987
File(s)
TR-87-39.pdf