APA (7th ed.) Citation

Guttmann, W. (2018). Verifying minimum spanning tree algorithms with Stone relation algebras. Journal of logical and algebraic methods in programming, 101, 132-150. https://doi.org/10.1016/j.jlamp.2018.09.005

Chicago Style (17th ed.) Citation

Guttmann, Walter. "Verifying Minimum Spanning Tree Algorithms with Stone Relation Algebras." Journal of Logical and Algebraic Methods in Programming 101 (2018): 132-150. https://doi.org/10.1016/j.jlamp.2018.09.005.

MLA (9th ed.) Citation

Guttmann, Walter. "Verifying Minimum Spanning Tree Algorithms with Stone Relation Algebras." Journal of Logical and Algebraic Methods in Programming, vol. 101, 2018, pp. 132-150, https://doi.org/10.1016/j.jlamp.2018.09.005.