APA (7th ed.) Citation

Walter, A. T., & Manolios, P. (2025). An ACL2s Interface to Z3.

Chicago Style (17th ed.) Citation

Walter, Andrew T., and Panagiotis Manolios. An ACL2s Interface to Z3. 2025.

MLA (9th ed.) Citation

Walter, Andrew T., and Panagiotis Manolios. An ACL2s Interface to Z3. 2025.

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