Sparkle: A functional theorem prover (2001)

by M de Mol, M van Eekelen, R Plasmeijer
Venue:Proceedings of the 13th International Workshop, IFL2001, number LNCS2312