Melvin Fitting
-
On herbrand's theorem for intuitionistic logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence