APA (7th ed.) Citation

Champion, A., Chiba, T., Kobayashi, N., & Sato, R. (2020). ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. Journal of Automated Reasoning, 64(7), 1393. https://doi.org/10.1007/s10817-020-09571-y

Chicago Style (17th ed.) Citation

Champion, Adrien, Tomoya Chiba, Naoki Kobayashi, and Ryosuke Sato. "ICE-Based Refinement Type Discovery for Higher-Order Functional Programs." Journal of Automated Reasoning 64, no. 7 (2020): 1393. https://doi.org/10.1007/s10817-020-09571-y.

MLA (9th ed.) Citation

Champion, Adrien, et al. "ICE-Based Refinement Type Discovery for Higher-Order Functional Programs." Journal of Automated Reasoning, vol. 64, no. 7, 2020, p. 1393, https://doi.org/10.1007/s10817-020-09571-y.