EasyChair Smart Slide
A Tableaux Calculus for Default Intuitionistic Logic
A Tableaux Calculus for Default Intuitionistic Logic