@article{miller95computnet,
  author = {Dale Miller},
  title = {A Survey of Linear Logic Programming},
  journal = {Computational Logic: The Newsletter of the European
                 Network in Computational Logic},
  volume = {2},
  number = {2},
  pages = {63--67},
  year = {1995},
  month = dec
}

{"_id":"mS9zE4aoC3x2JtiMb","bibbaseid":"miller-asurveyoflinearlogicprogramming-1995","author_short":["Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"A Survey of Linear Logic Programming","journal":"Computational Logic: The Newsletter of the European Network in Computational Logic","volume":"2","number":"2","pages":"63–67","year":"1995","month":"December","bibtex":"@article{miller95computnet,\n author = {Dale Miller},\n title = {A Survey of Linear Logic Programming},\n journal = {Computational Logic: The Newsletter of the European\n Network in Computational Logic},\n volume = {2},\n number = {2},\n pages = {63--67},\n year = {1995},\n month = dec\n}\n\n","author_short":["Miller, D."],"key":"miller95computnet","id":"miller95computnet","bibbaseid":"miller-asurveyoflinearlogicprogramming-1995","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["survey","linear","logic","programming","miller"],"title":"A Survey of Linear Logic Programming","year":1995}