@inproceedings{miller02fsttcs,
  author = {Dale Miller and Alwen Tiu},
  title = {Encoding Generic Judgments},
  booktitle = {Proceedings of FSTTCS},
  pages = {18--32},
  year = {2002},
  publisher = {Springer},
  series = lncs,
  number = {2556},
  month = dec,
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi}
}

{"_id":"yqwtm3NnMKkkGEh7M","bibbaseid":"miller-tiu-encodinggenericjudgments-2002","author_short":["Miller, D.","Tiu, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Alwen"],"propositions":[],"lastnames":["Tiu"],"suffixes":[]}],"title":"Encoding Generic Judgments","booktitle":"Proceedings of FSTTCS","pages":"18–32","year":"2002","publisher":"Springer","series":"LNCS","number":"2556","month":"December","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf","dvi":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi","bibtex":"@inproceedings{miller02fsttcs,\n author = {Dale Miller and Alwen Tiu},\n title = {Encoding Generic Judgments},\n booktitle = {Proceedings of FSTTCS},\n pages = {18--32},\n year = {2002},\n publisher = {Springer},\n series = lncs,\n number = {2556},\n month = dec,\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf},\n dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi}\n}\n\n","author_short":["Miller, D.","Tiu, A."],"key":"miller02fsttcs","id":"miller02fsttcs","bibbaseid":"miller-tiu-encodinggenericjudgments-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["encoding","generic","judgments","miller","tiu"],"title":"Encoding Generic Judgments","year":2002}