A.: Sine qua non for large theory reasoning (0)

by K Hoder, Voronkov
Venue:In: CADE