14 citations · 32 across the 12 of their papers we have counts for
1 paper · 2 filters
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In th…