@inproceedings{Szeider26g,
 author = {Stefan Szeider},
 booktitle = {Proceedings of the 17th Workshop on Pragmatics of {SAT}, {PoS} 2026,
Lisbon, Portugal, July 19, 2026, co-located with {SAT} 2026},
 keywords = {coe},
 pages = {89–98},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 source_file = {publications-web.bib},
 title = {{PBLean}: {Pseudo-Boolean} Proof Certificates for {Lean} 4},
 url = {https://ceur-ws.org/Vol-4289/paper7.pdf},
 volume = {4289},
 year = {2026}
}