APA (7th ed.) Citation

Bagnara, R. (1998). A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Science of computer programming, 30(1), 119-155. https://doi.org/10.1016/S0167-6423(97)00009-9

Chicago Style (17th ed.) Citation

Bagnara, Roberto. "A Hierarchy of Constraint Systems for Data-flow Analysis of Constraint Logic-based Languages." Science of Computer Programming 30, no. 1 (1998): 119-155. https://doi.org/10.1016/S0167-6423(97)00009-9.

MLA (9th ed.) Citation

Bagnara, Roberto. "A Hierarchy of Constraint Systems for Data-flow Analysis of Constraint Logic-based Languages." Science of Computer Programming, vol. 30, no. 1, 1998, pp. 119-155, https://doi.org/10.1016/S0167-6423(97)00009-9.