Computing interpolants in implicational logics

From MaRDI portal
Publication:2503400