Priss, Uta, "Relation algebra operations on formal contexts", , 2025