Weller: CERES for first-order schemata (2013)

by C Dunchev, A Leitsch, M Rukhaia, D
Venue:CoRR