Automating Theories in Intuitionistic Logic

by Guillaume Burel
Venue:in "7th International Symposium on Frontiers of Combining Systems -FroCoS’09, Italie