DMCA

A Higher-Order Interpretation of Deductive Tableau (2001)

by Abdelwaheb Ayari , David Basin
Venue:Journal of Symbolic Computation
Citations:4 - 1 self