prooftrees_biber.bib

@STRING{HODGES = "Hodges, Wilfred"}
@STRING{PENGUIN = "Penguin"}
@STRING{TANTAU-TILL = "Tantau, Till"}
@STRING{ZIVANOVIC-SASO = "Živanović, Sašo"}

@BOOK{hodges-logic,
  AUTHOR = HODGES,
  PUBLISHER = PENGUIN,
  DATE = {1991},
  ISBN = {0140136363},
  ORIGDATE = {1977},
  TITLE = {Logic: An Introduction to Elementary Logic},
}

@MANUAL{tantau-tikz-pgf-manual,
  AUTHOR = TANTAU-TILL,
  URL = {http://sourceforge.net/projects/pgf},
  DATE = {2015-08-29},
  EDITION = {3.0.1a},
  KEYWORDS = {TeX,LaTeX,PGF,TikZ},
  SUBTITLE = {Manual for Version 3.0.1a},
  TITLE = {The {T}i\mkbibemph{k}{Z} and {PGF} Packages},
}

@MANUAL{saso-forest-manual,
  AUTHOR = ZIVANOVIC-SASO,
  URL = {http://spj.ff.uni-lj.si/zivanovic/},
  DATE = {2016-03-04},
  EDITION = {2.0.2},
  KEYWORDS = {TeX,LaTeX,PGF,TikZ,Forest},
  TITLE = {Forest: A {PGF}/Ti\mkbibemph{k}{Z}-Based Package for Drawing Linguistic Trees},
}

@MANUAL{saso-memoize-manual,
  AUTHOR = ZIVANOVIC-SASO,
  URL = {https://www.ctan.org/pkg/memoize},
  DATE = {2023-10-10},
  EDITION = {1.0.0},
  KEYWORDS = {TeX,LaTeX,PGF,TikZ,Forest,Memoize},
  TITLE = {Memoize},
}