Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..