Efficient execution in an automated reasoning environment (0)

by D Greve, M Kaufmann, P Manolios, J Moore, S Ray, J Ruiz-Reina, R Sumners, D Vroon, M Wilding
Venue:J. Functional Programming