Koki Nishizawa, Hitoshi Furusawa: Relational Representation Theorem for Powerset Quantales. RAMiCS 2012: 207-218