Kevin Wallace

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Kevin Wallace, Graham Wrightson
Regressive Merging in Model Elimination Tableau-Based Theorem Provers. Log. J. IGPL 3 (6) (1995)