1 citations to https://www.mathnet.ru/eng/lncs38
  1. Rajeev Goré, Revantha Ramanayake, Ian Shillito, Lecture Notes in Computer Science, 12842, Automated Reasoning with Analytic Tableaux and Related Methods, 2021, 299  crossref