Andrew Burrow. Algorithm Design Using Traversals of the Covering Relation. In Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov, editors, Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings. Volume 5662 of Lecture Notes in Computer Science, pages 114-127, Springer, 2009. [doi]
Abstract is missing.