Adrian Giurca, Gerd Wagner. Rule Modeling and Interchange. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007. pages 485-491, IEEE Computer Society, 2007. [doi]
Abstract is missing.