TY  - RPRT
TI  - Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB
AU  - Katharina Engels
AU  - Jan Gruteser
AU  - Michael Leuschel
PY  - 2026
DO  - 10.4204/eptcs.450.12
UR  - https://arxiv.org/abs/2607.21191
ID  - 2607.21191
ER  -