Thomas Beth Andreas Klappenecker Torsten Minkwitz Armin Nückel The ART behind IDEAS. 141-158 1995 books/sp/CStoday1995 Computer Science Today db/books/collections/CStoday.html#BethKMN95 http://dx.doi.org/10.1007/BFb0015241