@inproceedings{Szeider26c,
 address = {Rio de Janeiro, Brazil},
 author = {Stefan Szeider},
 booktitle = {Proceedings of the 2nd {IEEE/ACM} International Workshop on
Neuro-Symbolic Software Engineering (NSE '26)},
 doi = {10.1145/3786168.3788402},
 keywords = {asksat, coe},
 note = {Preprint: CoRR abs/2602.01171, {https://arxiv.org/abs/2602.01171}},
 pages = {1–8},
 publisher = {ACM},
 title = {{ASP-Bench}: From Natural Language to Logic Programs},
 url = {https://doi.org/10.1145/3786168.3788402},
 year = {2026}
}