swMATH46661MaRDI QIDQ5974372
No author found.
Source code repository: https://gitlab.com/msiac-tool/MSIAC