summaryrefslogtreecommitdiff
path: root/graphics/pgf/contrib/prooftrees/prooftrees_biber.bib
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/pgf/contrib/prooftrees/prooftrees_biber.bib')
-rw-r--r--graphics/pgf/contrib/prooftrees/prooftrees_biber.bib16
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},