Citace podle APA (7th ed.)

Cathcart Burn, T., Ong, C., & Ramsay, S. (2017). Higher-order constrained horn clauses for verification. Association for Computing Machinery.

Citace podle Chicago (17th ed.)

Cathcart Burn, T., C. Ong, a S. Ramsay. Higher-order Constrained Horn Clauses for Verification. Association for Computing Machinery, 2017.

Citace podle MLA (9th ed.)

Cathcart Burn, T., et al. Higher-order Constrained Horn Clauses for Verification. Association for Computing Machinery, 2017.

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