Integrating CCG analysis into ACL2

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