5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…