APA (7th ed.) Citation

Guo, X., & Bansal, A. (2025). Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren.

Chicago Style (17th ed.) Citation

Guo, Xiangyu, and Ajay Bansal. Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in StableKanren. 2025.

MLA (9th ed.) Citation

Guo, Xiangyu, and Ajay Bansal. Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in StableKanren. 2025.

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