@InCollection{Cassano2019a,
  author =       "V. Cassano and R. Fervari and G. Hoffmann and C.
                 Areces and P. Castro",
  booktitle =    "Automated Deduction - {CADE} 27 - 27th International
                 Conference on Automated Deduction, Natal, Brazil,
                 August 27-30, 2019, Proceedings",
  title =        "A Tableaux Calculus for Default Intuitionistic Logic",
  year =         "2019",
  pages =        "161--177",
  abstract =     "We build a Default Logic variant on Intuitionistic
                 Propositional Logic and develop a sound, complete, and
                 terminating, tableaux calculus for it. We also present
                 an implementation of the calculus. We motivate and
                 illustrate the technical elements of our work with
                 examples.",
  bibsource =    "dblp computer science bibliography, https://dblp.org",
  biburl =       "https://dblp.org/rec/conf/cade/CassanoFHAC19.bib",
  doi =          "10.1007/978-3-030-29436-6\_10",
  timestamp =    "Wed, 21 Aug 2019 13:45:44 +0200",
  URL =          "https://doi.org/10.1007/978-3-030-29436-6\_10",
  ISBN =         "978-3-030-29435-9",
}