diff --git a/morphology.bib b/morphology.bib
index f8421cb..14722ae 100644
--- a/morphology.bib
+++ b/morphology.bib
@@ -423,6 +423,16 @@
 }
 }
 
+@InBook{bonami2019uniformity,
+	publisher = {Edinburgh University Press},
+	pages = {171--192},
+	booksubtitle = {Papers in honour of Greville G.~Corbett},
+	booktitle = {Perspectives on morphology},
+	author = {Bonami, Olivier and Boyé, Gilles},
+	year = {2019},
+	title = {Paradigm uniformity and the French gender system}
+}
+
 @Thesis{bonet1991morphology,
 	type = {PhD},
 	institution = {MIT},
diff --git a/syntax.bib b/syntax.bib
index a2b522e..40a2dd7 100644
--- a/syntax.bib
+++ b/syntax.bib
@@ -8,6 +8,14 @@
 	volume = {1}
 }
 
+@Report{anoun2004proof,
+	year = {2004},
+	institution = {ESSLLI},
+	type = {Technical},
+	title = {Proof automation for type-logical grammars},
+	author = {Anoun, Houda and Castéran, Pierre and Moot, Richard}
+}
+
 @Book{baker1988incorporation,
 	year = {1988},
 	publisher = {University of Chicago Press},
@@ -562,6 +570,14 @@
 	publisher = {MIT Press}
 }
 
+@InBook{vanbenthem1988semantics,
+	pages = {37--55},
+	booktitle = {Categorial Grammar},
+	author = {{van Benthem}, Johan},
+	year = {1988},
+	title = {The semantics of variety in categorial grammar}
+}
+
 @inproceedings{worth2014phenogrammar,
 	title = {The Phenogrammar of Coordination},
 	author = {Worth, Chris},