APA (7th ed.) Citation

Johnson, K. J. C., Krishnan, R., Reps, T., & D'Antoni, L. (2024). Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.

Chicago Style (17th ed.) Citation

Johnson, Keith J. C., Rahul Krishnan, Thomas Reps, and Loris D'Antoni. Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics. 2024.

MLA (9th ed.) Citation

Johnson, Keith J. C., et al. Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics. 2024.