Ruslan Shevchenko, Anatoly E. Doroshenko. Managing Business Logic with Symbolic Computation. In Mikhail Godlevsky, Stephen W. Liddle, Heinrich C. Mayr, editors, Information Systems Technology and its Applications, International Conference ISTA 2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings. Volume 30 of LNI, pages 143-151, GI, 2003.
Abstract is missing.