Jörg H. Siekmann Stephan M. Hess Christoph Benzmüller Lassaad Cheikhrouhou Armin Fiedler Helmut Horacek Michael Kohlhase Karsten Konrad Andreas Meier Erica Melis Martin Pollet Volker Sorge <i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface. 326-342 1999 11 Formal Asp. Comput. 3 http://link.springer.de/link/service/journals/00165/bibs/9011003/90110326.htm db/journals/fac/fac11.html#SiekmannHBCFHKKMMPS99