Title: Automated Deduction - Cade-12
First published: July 1994