@InProceedings{W1,
  key    =       {W01},
  author =	 {J{\"o}rg Siekmann and Stephan Hess and Christoph Benzm{\"u}ller and Lassaad
                  Cheikhrouhou and Detlef Fehrer and Armin Fiedler and Helmut Horacek and
                  Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis
                  and Volker Sorge},
  title =	 {A Distributed Graphical User Interface for the Interactive Proof System},
  year =	 1998,
  pages =        {130--138},
  URL =		 {www.ags.uni-sb.de/~chris/papers/W1.pdf},
  booktitle =	 {Proceedings of the International Workshop "User Interfaces for Theorem
                  Provers 1998 (UITP'98)},
  chrisnote =	 {W1},
  address =	 {Eindhoven, Netherlands},
  abstract =	 {Most interactive proof development environments are insufficient to
                  handle the complexity of the information to be conveyed to the user and
                  to support his orientation in large-scale proofs. In this paper we
                  present a distributed client-server extension of the OMEGA proof
                  development system, focusing on the LOUI (Lovely OMEGA User Interface)
                  client. This graphical user interface provides advanced communication
                  facilities through an adaptable proof tree visualization and through
                  various selective proof object display methods. Some of LOUI's main
                  features are the graphical display of co-references in proof graphs, a
                  selective term browser, and support for dynamically adding knowledge to
                  partial proofs -- all based upon and implemented in a client-server
                  architecture.}
}