@inproceedings{W1,
  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.},
  Address =	 {Eindhoven, Netherlands},
  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},
  Booktitle =	 {Proceedings of the International Workshop "User
                  Interfaces for Theorem Provers 1998 (UITP'98)},
  Pages =	 {130-138},
  Title =	 {A Distributed Graphical User Interface for the
                  Interactive Proof System},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W1.pdf}},
  Year =	 1998,
}