Loredana Biacino Giangiacomo Gerla Connection Structures. 242-247 1991 32 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl32.html#BiacinoG91 http://projecteuclid.org/euclid.ndjfl/1093635748