A Non-Binary Method for Finding Interpolants: Theory and Practice. - Adam Trybus; Karolina Rozko; Tomasz Skura (CoRR, 2026)