A summary of intrinsic partitioning verification (2004)

by D Greve, R Richards, M Wilding
Venue:Fifth International Workshop on the ACL2 Prover and Its Applications