Stephan Blazy, Wolfgang Borchers, and Uwe Dralle Tech. report TR-RSFB-96-028, Univ. of Paderborn, Dept. of Computer Science, Nov 1996 http://www.uni-paderborn.de/SFB376/techreports/abstract028.html
Cites: