Reynolds, A., Barbosa, H., Nötzli, A., Barrett, C., Tinelli, C., 2019. cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-25543-5_5