Mechanical Analysis of Finite Idempotent Relations

Florian Kammüller. Mechanical Analysis of Finite Idempotent Relations. Fundamenta Informaticae, 107(1):43-65, 2011. [doi]

Abstract

Abstract is missing.