TY  - RPRT
TI  - A Non-Binary Method for Finding Interpolants: Theory and Practice
AU  - Adam Trybus
AU  - Karolina Rożko
AU  - Tomasz Skura
PY  - 2026
UR  - https://arxiv.org/abs/2603.15876
ID  - 2603.15876
ER  -