@book(Barr1979,
 author       = {Michael Barr},
 year         = {1979},
 title        = {{$\ast$}-autonomous categories},
 series       = {Lecture Notes in Mathematics},
 volume       = {752},
 publisher    = {Springer, Berlin},
 doi          = {10.1007/BFb0064582},
)
@article(BCS2000,
 author       = {R. F. Blute and J. R. B. Cockett and R. A. G. Seely},
 year         = {2000},
 title        = {Feedback for linearly distributive categories: traces and fixpoints},
 journal      = {J. Pure Appl. Algebra},
 volume       = {154},
 number       = {1-3},
 pages        = {27--69},
 doi          = {10.1016/S0022-4049(99)00180-2},
)
@article(BCST1996,
 author       = {R. F. Blute and J. R. B. Cockett and R. A. G. Seely and T. H. Trimble},
 year         = {1996},
 title        = {Natural deduction and coherence for weakly distributive categories},
 journal      = {J. Pure Appl. Algebra},
 volume       = {113},
 number       = {3},
 pages        = {229--296},
 doi          = {10.1016/0022-4049(95)00159-X},
)
@article(CS1997,
 author       = {J. R. B. Cockett and R. A. G. Seely},
 year         = {1997},
 title        = {Proof theory for full intuitionistic linear logic, bilinear logic, and {MIX} categories},
 journal      = {Theory Appl. Categ.},
 volume       = {3},
 pages        = {No. 5, 85--131},
)
@book(EGHK2018,
 author       = {Patrik Eklund and Guti\'{e}rrez Garc\'{\i}a, Javier and Ulrich H\"{o}hle and Jari Kortelainen},
 year         = {2018},
 title        = {Semigroups in complete lattices},
 series       = {Developments in Mathematics},
 volume       = {54},
 publisher    = {Springer, Cham},
 doi          = {10.1007/978-3-319-78948-4},
)
@book(GJKO,
 author       = {Nikolaos Galatos and Peter Jipsen and Tomasz Kowalski and Hiroakira Ono},
 year         = {2007},
 title        = {Residuated Lattices: An Algebraic Glimpse at Substructural Logics},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {151},
 publisher    = {Elsevier},
 doi          = {10.1016/S0049-237X(07)80005-X},
)
@article(GW1999,
 author       = {G. Gr\"{a}tzer and F. Wehrung},
 year         = {1999},
 title        = {A new lattice construction: the box product},
 journal      = {J. Algebra},
 volume       = {221},
 number       = {1},
 pages        = {315--344},
 doi          = {10.1006/jabr.1999.7975},
)
@article(HiggsRowe1989,
 author       = {D. A. Higgs and K. A. Rowe},
 year         = {1989},
 title        = {Nuclearity in the category of complete semilattices},
 journal      = {J. Pure Appl. Algebra},
 volume       = {57},
 number       = {1},
 pages        = {67--78},
 doi          = {10.1016/0022-4049(89)90028-5},
)
@article(JoyalTierney,
 author       = {Andr\'{e} Joyal and Myles Tierney},
 year         = {1984},
 title        = {An extension of the {G}alois theory of {G}rothendieck},
 journal      = {Mem. Amer. Math. Soc.},
 volume       = {51},
 number       = {309},
 pages        = {vii+71},
 doi          = {10.1090/memo/0309},
)
@article(KellyLaplaza1980,
 author       = {G. M. Kelly and M. L. Laplaza},
 year         = {1980},
 title        = {Coherence for compact closed categories},
 journal      = {J. Pure Appl. Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@unpublished(prover9-mace4,
 author       = {W. McCune},
 year         = {2005--2010},
 title        = {{Prover9 and Mace4}},
 note         = {\url{http://www.cs.unm.edu/~mccune/prover9/}},
)
@article(Nelson1976,
 author       = {Evelyn Nelson},
 year         = {1976},
 title        = {Galois connections as left adjoint maps},
 journal      = {Comment. Math. Univ. Carolinae},
 volume       = {17},
 number       = {3},
 pages        = {523--541},
)
@article(Raney60,
 author       = {George N. Raney},
 year         = {1960},
 title        = {Tight {G}alois connections and complete distributivity},
 journal      = {Trans. Amer. Math. Soc.},
 volume       = {97},
 pages        = {418--426},
 doi          = {10.2307/1993380},
)
@book(Rosenthal1990,
 author       = {Kimmo I. Rosenthal},
 year         = {1990},
 title        = {Quantales and their applications},
 series       = {Pitman Research Notes in Mathematics Series},
 volume       = {234},
 publisher    = {Longman Scientific \& Technical, Harlow},
)
@article(Rowe1988,
 author       = {K. A. Rowe},
 year         = {1988},
 title        = {Nuclearity},
 journal      = {Canad. Math. Bull.},
 volume       = {31},
 number       = {2},
 pages        = {227--235},
 doi          = {10.4153/CMB-1988-035-5},
)
@inproceedings(2020-RAMICS,
 author       = {Luigi Santocanale},
 year         = {2020},
 title        = {The Involutive Quantaloid of Completely Distributive Lattices},
 editor       = {Uli Fahrenberg and Peter Jipsen and Michael Winter},
 booktitle    = {RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]},
 series       = {Lecture Notes in Computer Science},
 volume       = {12062},
 publisher    = {Springer},
 pages        = {286--301},
 doi          = {10.1007/978-3-030-43520-2\_18},
)
@article(CWO,
 author       = {Luigi Santocanale and Maria Jo{\~a}o Gouveia},
 year         = {2020},
 title        = {The continuous weak order},
 journal      = {Journal of Pure and Applied Algebra},
 doi          = {10.1016/j.jpaa.2020.106472},
 note         = {In press},
)
@article(Shmuely1974,
 author       = {Zahava Shmuely},
 year         = {1974},
 title        = {The structure of {G}alois connections},
 journal      = {Pacific J. Math.},
 volume       = {54},
 number       = {2},
 pages        = {209--225},
 doi          = {10.2140/pjm.1974.54.209},
)
@article(W1985,
 author       = {Rudolf Wille},
 year         = {1985},
 title        = {Tensorial decomposition of concept lattices},
 journal      = {Order},
 volume       = {2},
 number       = {1},
 pages        = {81--95},
 doi          = {10.1007/BF00337926},
)
@book(Yetter2001,
 author       = {David N. Yetter},
 year         = {2001},
 title        = {Functorial knot theory},
 series       = {Series on Knots and Everything},
 volume       = {26},
 publisher    = {World Scientific Publishing Co., Inc., River Edge, NJ},
 doi          = {10.1142/9789812810465},
)