"Automated Higher-order Reasoning about Quantales."

Han-Hing Dang, Peter Höfner (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics