@inproceedings{pimentel05lpar,
  author = {Elaine Pimentel and Dale Miller},
  title = {On the specification of sequent systems},
  booktitle = {LPAR 2005: 12th International Conference on Logic for
                 Programming, Artificial Intelligence and Reasoning},
  year = {2005},
  pages = {352--366},
  series = lnai,
  number = {3835},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lpar05.pdf}
}

{"_id":"mtZGea3jAbiwvuMpP","bibbaseid":"pimentel-miller-onthespecificationofsequentsystems-2005","author_short":["Pimentel, E.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Elaine"],"propositions":[],"lastnames":["Pimentel"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"On the specification of sequent systems","booktitle":"LPAR 2005: 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning","year":"2005","pages":"352–366","series":"LNAI","number":"3835","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lpar05.pdf","bibtex":"@inproceedings{pimentel05lpar,\n author = {Elaine Pimentel and Dale Miller},\n title = {On the specification of sequent systems},\n booktitle = {LPAR 2005: 12th International Conference on Logic for\n Programming, Artificial Intelligence and Reasoning},\n year = {2005},\n pages = {352--366},\n series = lnai,\n number = {3835},\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lpar05.pdf}\n}\n\n","author_short":["Pimentel, E.","Miller, D."],"key":"pimentel05lpar","id":"pimentel05lpar","bibbaseid":"pimentel-miller-onthespecificationofsequentsystems-2005","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["specification","sequent","systems","pimentel","miller"],"title":"On the specification of sequent systems","year":2005}