Tom Head. An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation. In Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa, editors, Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]. Volume 2300 of Lecture Notes in Computer Science, pages 354-360, Springer, 2002. [doi]
Abstract is missing.