Dan Braha Special Issue: Topological representation and reasoning in design and manufacturing. 89 2001 15 AI EDAM 2 db/journals/aiedam/aiedam15.html#Braha01a