On quasitautologies

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/bfb0027417 ◽

1997 ◽

pp. 231-245

Author(s):

Ján Komara ◽

Paul J. Voda

Download Full-text