Stuart Anderson, John Power, Konstantinos Tourlas. Reasoning in Higraphs with Loose Edges. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. pages 23-29, IEEE Computer Society, 2001. [doi]
Abstract is missing.