Computing interpolants in implicational logics (0)

by M Kanazawa
Venue:Ann. Pure Appl. Logic