deletions | additions       diff --git a/bibliography/biblio.bib b/bibliography/biblio.bib  index f10e141..1dc97de 100644  --- a/bibliography/biblio.bib  +++ b/bibliography/biblio.bib 
...
title = {{On completeness of the mu -calculus}},  booktitle = {[1993] Proceedings Eighth Annual {IEEE} Symposium on Logic in Computer Science},  }  @incollection{Streett_1984,  doi = {10.1007/3-540-13345-3_43},  url = {http://dx.doi.org/10.1007/3-540-13345-3_43},  year = {1984},  publisher = {Springer Science $\mathplus$ Business Media},  pages = {465--472},  author = {Robert S. Streett and E. Allen Emerson},  title = {{The propositional mu-calculus is elementary}},  booktitle = {Automata Languages and Programming},  }