Vidali, Janoš. 2018. “Using Symbolic Computation to Prove Nonexistence of Distance-Regular Graphs”. The Electronic Journal of Combinatorics 25 (4), #P4.21. https://doi.org/10.37236/7763.