CITATION STYLE
Zhang, H. (1997). SATO: An efficient propositional prover. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1249, pp. 272–275). Springer Verlag. https://doi.org/10.1007/3-540-63104-6_28
Mendeley helps you to discover research relevant for your work.