INKA: The next generation (1996)

by D Hutter, C Sengler
Venue:In Proc. of the 13th International Conference on Automated Deduction