SPS-Parallelism + SETHEO = SPTHEO

Christian B. Suttner. SPS-Parallelism + SETHEO = SPTHEO. Journal of Automated Reasoning, 22(4):397-431, 1999.

Authors

Christian B. Suttner

This author has not been identified. Look up 'Christian B. Suttner' in Google