TANCS-2000 Results for DLP

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

10.1007/10722086_8 ◽

2000 ◽

pp. 72-76

Author(s):

Peter F. Patel-Schneider

Download Full-text