@inproceedings{miller02amast,
  author = {Dale Miller},
  title = {Higher-order quantification and proof search},
  booktitle = {Proceedings of AMAST 2002},
  pages = {60--74},
  year = {2002},
  editor = {H\'el\`ene Kirchner and Christophe Ringeissen},
  number = {2422},
  series = lncs,
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/amast02.pdf}
}

{"_id":"RbAidofaruW6nB87S","bibbaseid":"miller-higherorderquantificationandproofsearch-2002","author_short":["Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Higher-order quantification and proof search","booktitle":"Proceedings of AMAST 2002","pages":"60–74","year":"2002","editor":[{"firstnames":["Hélène"],"propositions":[],"lastnames":["Kirchner"],"suffixes":[]},{"firstnames":["Christophe"],"propositions":[],"lastnames":["Ringeissen"],"suffixes":[]}],"number":"2422","series":"LNCS","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/amast02.pdf","bibtex":"@inproceedings{miller02amast,\n author = {Dale Miller},\n title = {Higher-order quantification and proof search},\n booktitle = {Proceedings of AMAST 2002},\n pages = {60--74},\n year = {2002},\n editor = {H\\'el\\`ene Kirchner and Christophe Ringeissen},\n number = {2422},\n series = lncs,\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/amast02.pdf}\n}\n\n","author_short":["Miller, D."],"editor_short":["Kirchner, H.","Ringeissen, C."],"key":"miller02amast","id":"miller02amast","bibbaseid":"miller-higherorderquantificationandproofsearch-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["higher","order","quantification","proof","search","miller"],"title":"Higher-order quantification and proof search","year":2002}