TY  - RPRT
TI  - Towards Mass Spectrum Analysis with ASP
AU  - Nils Küchenmeister
AU  - Alex Ivliev
AU  - Markus Krötzsch
PY  - 2025
DO  - 10.1017/s1471068426100398
UR  - https://arxiv.org/abs/2512.16780
ID  - 2512.16780
ER  -