@inproceedings{miller95gulp,
  author = {Dale Miller},
  title = {Observations about using logic as a specification
                 language},
  booktitle = {Proceedings of GULP-PRODE'95: Joint Conference on
                 Declarative Programming},
  editor = {M. Sessa},
  address = {Marina di Vietri (Salerno-Italy)},
  month = sep,
  year = {1995}
}

{"_id":"fuRjySzDjkwbXg5u4","bibbaseid":"miller-observationsaboutusinglogicasaspecificationlanguage-1995","author_short":["Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Observations about using logic as a specification language","booktitle":"Proceedings of GULP-PRODE'95: Joint Conference on Declarative Programming","editor":[{"firstnames":["M."],"propositions":[],"lastnames":["Sessa"],"suffixes":[]}],"address":"Marina di Vietri (Salerno-Italy)","month":"September","year":"1995","bibtex":"@inproceedings{miller95gulp,\n author = {Dale Miller},\n title = {Observations about using logic as a specification\n language},\n booktitle = {Proceedings of GULP-PRODE'95: Joint Conference on\n Declarative Programming},\n editor = {M. Sessa},\n address = {Marina di Vietri (Salerno-Italy)},\n month = sep,\n year = {1995}\n}\n\n","author_short":["Miller, D."],"editor_short":["Sessa, M."],"key":"miller95gulp","id":"miller95gulp","bibbaseid":"miller-observationsaboutusinglogicasaspecificationlanguage-1995","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["observations","using","logic","specification","language","miller"],"title":"Observations about using logic as a specification language","year":1995}