1. Stickel, M., Waldinger, R., Chaudhri, V.: A guide to snark. Technical report, Artificial Intelligence Center, SRI International, Menlo Park CA (2000)
2. Kalman, J.: Automated reasoning with Otter. Rinton Press, Princeton NJ (2001)
3. McCune, W.: Otter 3.3 reference manual. Technical Report Technical Memoran-dum No. 263, Mathematical and Computer Science Division, Argonne National Laboratory, Argonne IL (2003)
4. Chalupsky, H., MacGregor, R., Russ, T.: PowerLoom Manual. Information Sciences Institute, Marina del Rey CA. (2006)
5. Carpenter, P., Just, M.: Reading comprehension as eyes see it. In Just, M., Carpenter, P., eds.: Cognitive Processes in Comprehension. Erlbaum, Marwah NJ (1977)