The Complexity of Analytic and Clausal Tableaux

Bibliographic citation F. Massacci, "The Complexity of Analytic and Clausal Tableaux" in THEORETICAL COMPUTER SCIENCE, v. 243, n. 1-2 (2000), p. 477-487

Detail