Musa Al-hassy, Wolfram Kahl. Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. In Wolfram Kahl, Michael Winter, José N. Oliveira, editors, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Volume 9348 of Lecture Notes in Computer Science, pages 151-168, Springer, 2015. [doi]