A. Nauerz, S. Schindler, and F. Bakalov. LWA, volume 448 of Technical Report, page 51-54. Department of Computer Science, University of Würzburg, Germany, (2008)
A. Nauerz, F. Bakalov, B. König-Ries, and M. Welsch. LWA, volume 448 of Technical Report, page 44-50. Department of Computer Science, University of Würzburg, Germany, (2008)