Idempotent Relations in Isabelle/HOL [chapter]

Florian Kammüller, J. W. Sanders
2005 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-31862-0_23 fatcat:kcex3fvolzbqbgtwxkybg3qcoq