Integrating CCG analysis into ACL2 (0)

by Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Daron Vroon
Venue:In Eighth International Workshop on Termination, August 2006. Part of FLOC ’06