INKA: the next generation (1996)

by D Hutter, C Sengler
Venue:Conference on Automated Deduction