2004): Finite Set Theory based on Fully Ordered Lists (0)

by Jared Davis
Venue:In: ACL2 ’04