TY  - RPRT
TI  - A Prolog assisted search for new simple Lie algebras
AU  - David Cushing
AU  - George W. Stagg
AU  - David I. Stewart
PY  - 2023
UR  - https://arxiv.org/abs/2207.01094
ID  - 2207.01094
ER  -