Integrating CCG analysis into ACL2 (0)

by M Kaufmann, P Manolios, J S Moore, D Vroon
Venue:In Eighth International Workshop on Termination, August 2006. Part of FLOC ’06