Sciweavers

72
Voted
CADE
1992
Springer
15 years 1 months ago
An Improved Method for Adding Equality to Free Variable Semantic Tableaux
Tableau
Bernhard Beckert, Reiner Hähnle