Nicholas M. Patrikalakis Keynote lecture: shape interrogation. 1 2003 conf/sma/2003 Symposium on Solid Modeling and Applications http://doi.acm.org/10.1145/781606.781608 db/conf/sma/sma2003.html#Patrikalakis03