M
ultirelations_
H
eterogeneous
Relational_Properties
Power_Allegories_Properties
Multirelations_Basics
Power_Allegories_Multirelations
Multirelations