Employing path dissolution to shorten tableaux proofs

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74584 ◽

1989 ◽

Cited By ~ 2

Author(s):

N. V. Murray ◽

E. Rosenthal

Download Full-text