References
Giovanna Corsi
The logic of the weak excluded middle: a case study of proof-search
2008
in: Deduction, computation, experiment, Dordrecht : Springer
Deduction, computation, experiment: exploring the effectiveness of proof2008
with Lupacchini Rossella (ed)
Dordrecht, Springer