@Article{         sveidar,
  Author        = "{\v S}vejdar, V{\'\i}t{\v e}zslav",
  date-added    = "2020-09-24 08:08:01 +0200",
  date-modified = "2020-09-24 08:08:45 +0200",
  Journal       = "Commentationes Mathematicae Universitatis Carolinae",
  Title         = "On Sequent Calculi for Intuitionistic Propositional Logic",
  Year          = "2006",
  File          = "On Sequent Calculi for Intuitionistic Propositional Logic - sv\_iproc - a - c.pdf"
}

@Article{ sveidar, Author = "{\v S}vejdar, V{\'\i}t{\v e}zslav", date-added = "2020-09-24 08:08:01 +0200", date-modified = "2020-09-24 08:08:45 +0200", Journal = "Commentationes Mathematicae Universitatis Carolinae", Title = "On Sequent Calculi for Intuitionistic Propositional Logic", Year = "2006", File = "On Sequent Calculi for Intuitionistic Propositional Logic - sv_iproc - a - c.pdf" }