Finite Set Theory based on Fully Ordered Lists (2004)

by J Davis
Venue:5th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2