APA (7th ed.) Citation

Amato, G., DeMarco, M., & Lipton, J. (2024). Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.

Chicago Style (17th ed.) Citation

Amato, Gianluca, Mary DeMarco, and James Lipton. Uniform Algebras: Models and Constructive Completeness for Full, Simply Typed λProlog. 2024.

MLA (9th ed.) Citation

Amato, Gianluca, et al. Uniform Algebras: Models and Constructive Completeness for Full, Simply Typed λProlog. 2024.