Lazy Paramodulation in Practice. - Grzegorz Prusak; Cezary Kaliszyk (PAAR@IJCAR, 2022)

ChonkyBFT: Consensus Protocol of ZKsync. - Bruno França; Denis Kolegov; Igor Konnov 001; Grzegorz Prusak (CoRR, 2025)