Brian Farrimond, John Collins. Dimensional Inference Using Symbol Lives. In Dimitris A. Karras, Daming Wei, Jaroslav Zendulka, editors, International Conference on Software Engineering Theory and Practice, SETP-07, Orlando, Florida, USA, July 9-12 2007. pages 152-159, ISRST, 2007.
Abstract is missing.