ENCODING has been replaced by BIBTEX_INPUT_ENCODING and OUTPUT_ENCODING
@inproceedings{fm13, Author = {N. Fran\c{c}ois and F. Magniez}, Booktitle = {Proceedings of 30th Symposium on Theoretical Aspects of Computer Science}, Date-Added = {2014-08-11 08:51:41 +0000}, Date-Modified = {2014-08-11 09:07:37 +0000}, Pages = {454-465}, Title = {Streaming complexity of checking priority queues}, Year = {2013}, Bdsk-Url-1 = {./PAPIERS/fm-stacs13.pdf}}