@article{Chan_Norrish_19,
    author           = {Chan, Hing-Lun and Norrish, Michael},
    date             = {2019-2-10},
    doi              = {https://doi.org/10.1007/s10817-017-9438-0},
    issue            = {2},
    journal          = {Journal of Automated Reasoning},
    keywords         = {Least common multiple; Pascal’s triangle; Leibniz’s triangle; Formalisation; Automated theorem
                        proving; {HOL4}; Binomial coefficients},
    month            = feb,
    pages            = {171-192},
    paperurl         = {https://trustworthy.systems/publications/full_text/Chan_Norrish_19.pdf},
    publisher        = {Springer},
    title            = {Proof Pearl: Bounding Least Common Multiples with Triangles},
    volume           = {62},
    year             = {2019}
  }