@article{towardsmassspectrumanalysiswithasp, title = {Towards Mass Spectrum Analysis with ASP}, author = {Nils Küchenmeister and Alex Ivliev and Markus Krötzsch}, year = {2025}, eprint = {2512.16780}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2512.16780}, }