Galatos, Nikolaos; Gil Férez, José (2017). Modules over quantaloids: applications to the isomorphism problem in algebraic logic and π-institutions. Journal of pure and applied algebra, 221(1), pp. 1-24. Elsevier 10.1016/j.jpaa.2016.05.012
