CITATION STYLE
Schumann, J., Wolf, A., & Suttner, C. (1998). Parallel Theorem Provers Based on Setheo (pp. 261–290). https://doi.org/10.1007/978-94-017-0435-9_10
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley