                                TPTP Users List
                                ---------------

Below is  the list of  registered TPTP users,  whose email  addresses we  know. 
Registered users  receive notification of  TPTP patches,  and other information
relevant  to the TPTP.  If you would like to  have you name added to or removed
from this list, please let us know. Our addresses are :
    Geoff Sutcliffe   - geoff@cs.jcu.edu.au                (FAX: +61-77-814029)
or  Christian Suttner - suttner@informatik.tu-muenchen.de  (FAX: +49-89-526502)

Aharonian, Gregory        Alexander, Geoff          Astrachan, Owen          
Ayukawa, Kenichiro        Bachmair, Leo             Baumgartner, Peter       
Benanav, Dan              Bibel, Wolfgang           Bledsoe, Woody           
Bonacina, Maria Paola     Bourda, Yolaine           Breviario, Giovanni      
Bruening, Stefan          Buffoli, Fabio            Bundy, Alan              
By, Tomas                 Casanova, Asuncion        Castell, Thierry         
Chen, Wilfred             Chleq, Nicolas            Chu, Heng                
Chung, Jai-Hoon           Cohn, Anthony             Cok, David               
Collavizza, Helen         Contejean, Evelyne        Dahn, Ingo               
Daniel, Bulota            de Kogel, E.A.            De Waal, Andre           
Degli Antoni, G           DelVal, Alvaro            Dziadzka, Mirko          
Elahi, John               Esterlin, Albert          Filliatre, Jean-Christophe
Fisch, Norbert            Floegel, Andreas          Fraus, Uli               
Fuchs, Matthias           Fujita, Masayuki          Furbach, Ulrich          
Garland, Stephen          Geddis, Don               Goebel, Manfred          
Groote, Jan Frisco        Hackenberg, Klaus         Harrison, John           
Hart, Allan               Hartmann, Knut            Heuerding, Alain         
Imlah, Bill               Inoue, Katsumi            Inzaghi, Luisa           
Janson, Sverker           Jech, Thomas              Johnson, Rob             
Jonasson, Arndt           Jonasson, Arndt           Kalman, John             
Kantrowitz, Mark          Katsumi, Inoue            Kilger, Kurt             
Kitson, Jeff              Kitson, Ros               Klooster, Marnix         
Kooshesh, Ali             Lager, Torbjoern          Lee, Shie-Jue            
Letz, Reinhold            Lindenstraus, Naomi       Loveland, Don            
Lowe, Helen               Ludwig, Heiko             Ludwig, Thomas           
Lusk, Rusty               Lyon, Paul                McCune, Bill             
Meglicki, Zdzislaw        Mellouli, Taieb           Moolenaar, Remco         
Moser, Max                Narasimhan, Rakesh        Neugebauer, Gerd         
Operator, mrg             Pelletier, Francis        Philou, Mathieu          
Plaisted, David           Pollock, John             Popineau, Fabrice        
Posegga, Joachim          Prehofer, Christian       Quaife, Art              
Raptis, Dimitris          Research, TUM AI Group    Roberts, Nancy           
Rusinowitch, Michael      Sakurai, Selichiro        Salzer, Gernot           
Sawada, Toshimi           Schubert, Len             Schwichtenberg, Helmut   
Segre, Alberto            Shewmaker, Mark           Slaney, John Keith       
Smareglia, Riccardo       Smith, Donald             Socher, Rolf             
Spencer, Bruce            Stickel, Mark             Sturgill, David          
Sutcliffe, Geoff          Suttner, Christian        Uphoff, Heinz            
Uribe, Tomas              Vanyo, Bill               Veroff, Bob              
Vigneron, Laurent         Vincent, Claude           Voronkov, Andrei         
Wachter, Klaus            Wallace, Kevin            Wang, Caihua             
Wang, Hanfei              Wang, T-C                 Wang, Xin                
Weibel, Trudy             White, Christopher        Wilkerson, Ralph         
Wong, Wai                 Wos, Larry                Wrightson, Graham        
Wu, Shenjun               Wunderwald, Jens          Yemenis, Theodor         
Zhang, Hantao            
