A Tableaux Calculus for Reducing Proof Size

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94205-6_5 ◽

2018 ◽

pp. 64-80 ◽

Cited By ~ 1

Author(s):

Michael Peter Lettmann ◽

Nicolas Peltier

Download Full-text