Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro: A Tableaux Calculus for Default Intuitionistic Logic. CADE 2019: 161-177