Hello, I'm looking for pointers to any postprocessor of automated   
   proofs (resolution, paramodulation-ish proofs), into more readable   
   formats.   
      
   Thanks!   
   Johnicholas   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)