APA (7th ed.) Citation

Zhang, H. PSATO: A Distributed Propositional Prover and its Application to Quasigroup Problems. Journal of symbolic computation..

Chicago Style (17th ed.) Citation

Zhang, Hantao. "PSATO: A Distributed Propositional Prover and Its Application to Quasigroup Problems." Journal of Symbolic Computation. .

MLA (9th ed.) Citation

Zhang, Hantao. "PSATO: A Distributed Propositional Prover and Its Application to Quasigroup Problems." Journal of Symbolic Computation., .

Warning: These citations may not always be 100% accurate.