APA (7th ed.) Citation

López-Fraguas, F. J., Martin-Martin, E., & Rodríguez-Hortalá, J. (2014). Safe typing of functional logic programs with opaque patterns and local bindings. Information and computation, 235, 36-69. https://doi.org/10.1016/j.ic.2014.01.004

Chicago Style (17th ed.) Citation

López-Fraguas, Francisco J., Enrique Martin-Martin, and Juan Rodríguez-Hortalá. "Safe Typing of Functional Logic Programs with Opaque Patterns and Local Bindings." Information and Computation 235 (2014): 36-69. https://doi.org/10.1016/j.ic.2014.01.004.

MLA (9th ed.) Citation

López-Fraguas, Francisco J., et al. "Safe Typing of Functional Logic Programs with Opaque Patterns and Local Bindings." Information and Computation, vol. 235, 2014, pp. 36-69, https://doi.org/10.1016/j.ic.2014.01.004.