Regular ArticleA Higher-order Interpretation of Deductive Tableau
Under an Elsevier user license
open archive
Cited by (0)
- 1
Email: {ayari,basin}@informatik.uni-freiburg.de
Copyright © 2001 Academic Press. All rights reserved.