diff options
Diffstat (limited to 'graphics/pgf/contrib/prooftrees/prooftrees_biber.bib')
-rw-r--r-- | graphics/pgf/contrib/prooftrees/prooftrees_biber.bib | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/graphics/pgf/contrib/prooftrees/prooftrees_biber.bib b/graphics/pgf/contrib/prooftrees/prooftrees_biber.bib index 6d21cca4df..021c9d1cfd 100644 --- a/graphics/pgf/contrib/prooftrees/prooftrees_biber.bib +++ b/graphics/pgf/contrib/prooftrees/prooftrees_biber.bib @@ -1,13 +1,19 @@ +@STRING{HODGES = "Hodges, Wilfred"} +@STRING{PENGUIN = "Penguin"} +@STRING{TANTAU-TILL = "Tantau, Till"} +@STRING{ZIVANOVIC-SASO = "Živanović, Sašo"} + @BOOK{hodges-logic, - AUTHOR = {Hodges, Wilfred}, - PUBLISHER = {Penguin}, - DATE = {1977, 1991}, + 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}, + AUTHOR = TANTAU-TILL, URL = {http://sourceforge.net/projects/pgf}, DATE = {2015-08-29}, EDITION = {3.0.1a}, @@ -17,7 +23,7 @@ } @MANUAL{saso-forest-manual, - AUTHOR = {Živanović, Sašo}, + AUTHOR = ZIVANOVIC-SASO, URL = {http://spj.ff.uni-lj.si/zivanovic/}, DATE = {2016-03-04}, EDITION = {2.0.2}, |