Fix month in Appel90 bibtex record.
@@ -36,7 +36,7 @@
volume = 3,
number = 4,
pages = {343--380},
- month = {November}}
+ month = nov}
@book{Appel91,
place={Cambridge},