@article{Norrish_Chan_21, author = {Norrish, Michael and Chan, Hing-Lun}, date = {2021-2-23}, doi = {https://doi.org/10.1007/s10817-020-09563-y}, issue = {2}, journal = {Journal of Automated Reasoning}, month = feb, pages = {205--256}, publisher = {Springer}, title = {Mechanisation of the {AKS} Algorithm}, volume = {65}, year = {2021} }