A higher-order interpretation of deductive tableau (0)

by A Ayari, D Basin
Venue:Journal of Symbolic Computation