@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}.
Extended abstract in Proceedings 42nd International Conference on
Logic Programming, {ICLP} 2026, {EPTCS} 450, pages 104–118,
{https://doi.org/10.4204/EPTCS.450.10}},
 pages = {1–8},
 publisher = {ACM},
 title = {{ASP-Bench}: From Natural Language to Logic Programs},
 url = {https://doi.org/10.1145/3786168.3788402},
 year = {2026}
}