American Psychological Association 6th edition

Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, & Cesare Tinelli. (2023). Synthesising Programs with Non-trivial Constants. Journal of Automated Reasoning, 67. https://doi.org/10.1007/s10817-023-09664-4

ISO-690 (author-date, English)

ALESSANDRO ABATE, HANIEL BARBOSA, CLARK BARRETT, CRISTINA DAVID, PASCAL KESSELI, DANIEL KROENING, ELIZABETH POLGREEN, ANDREW REYNOLDS and CESARE TINELLI, 2023. Synthesising Programs with Non-trivial Constants. Journal of Automated Reasoning. 13 May 2023. Vol. 67, , . DOI 10.1007/s10817-023-09664-4.

Modern Language Association 9th edition

Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, and Cesare Tinelli. “Synthesising Programs With Non-Trivial Constants”. Journal of Automated Reasoning, vol. 67, May 2023, https://doi.org/10.1007/s10817-023-09664-4.

Mohr Siebeck - Recht (Deutsch - Österreich)

Alessandro Abate/Haniel Barbosa/Clark Barrett/Cristina David/Pascal Kesseli/Daniel Kroening et al.: Synthesising Programs with Non-trivial Constants, Journal of Automated Reasoning 2023,

Emerald - Harvard

Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds and Cesare Tinelli. (2023), “Synthesising Programs with Non-trivial Constants”, Journal of Automated Reasoning, Vol. 67, available at:https://doi.org/10.1007/s10817-023-09664-4.

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