@article{PeitlSzeider23,
 author = {Tom{\'{a}}\v{s} Peitl and
Stefan Szeider},
 doi = {10.1016/j.dam.2023.05.003},
 journal = {Discr. Appl. Math.},
 keywords = {reveal, slim},
 pages = {173--184},
 title = {Are Hitting Formulas Hard for Resolution?},
 volume = {337},
 year = {2023}
}