TY  - RPRT
TI  - Structural Completeness in bi-IPC
AU  - Rodrigo Nicolau Almeida
AU  - Nick Bezhanishvili
PY  - 2025
UR  - https://arxiv.org/abs/2508.05682
ID  - 2508.05682
ER  -