Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
http://ceur-ws.org/Vol-192/paper02.pdf (全文テキスト(全般))
Prevosto, V., & Waldmann, U. (2006). SPASS+T. In G., Sutcliffe, R., Schmidt, & S., Schulz (Eds.), Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (pp. 18-33). Aachen: CEUR-WS.org. Retrieved from http://CEUR-WS.org/Vol-192/paper02.pdf.