@inproceedings{ gabbay:perntu,
  author    = {Gilles Dowek and Murdoch J. Gabbay and Dominic P. Mulligan},
  title     = {Permissive Nominal Terms and their Unification},
  booktitle   = {Proceedings of the 24th Italian Conference on Computational Logic (CILC'09)} ,
  year   = {2009}
}

{"_id":{"_str":"520855ada9e4b91d2f000061"},"__v":12,"authorIDs":["54597770b43425b7720005a9","547860758a7c93e060000416"],"author_short":["Dowek, G.","Gabbay, M. J.","Mulligan, D. P."],"bibbaseid":"dowek-gabbay-mulligan-permissivenominaltermsandtheirunification-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Dowek"],"suffixes":[]},{"firstnames":["Murdoch","J."],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Dominic","P."],"propositions":[],"lastnames":["Mulligan"],"suffixes":[]}],"title":"Permissive Nominal Terms and their Unification","booktitle":"Proceedings of the 24th Italian Conference on Computational Logic (CILC'09)","year":"2009","bibtex":"@inproceedings{ gabbay:perntu,\n author = {Gilles Dowek and Murdoch J. Gabbay and Dominic P. Mulligan},\n title = {Permissive Nominal Terms and their Unification},\n booktitle = {Proceedings of the 24th Italian Conference on Computational Logic (CILC'09)} ,\n year = {2009}\n}\n\n\n","author_short":["Dowek, G.","Gabbay, M. J.","Mulligan, D. P."],"key":"gabbay:perntu","id":"gabbay:perntu","bibbaseid":"dowek-gabbay-mulligan-permissivenominaltermsandtheirunification-2009","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpbabellsfiupmesangelpublicationsbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["permissive","nominal","terms","unification","dowek","gabbay","mulligan"],"title":"Permissive Nominal Terms and their Unification","title_words":["permissive","nominal","terms","unification"],"year":2009,"dataSources":["EuJsgsLE4BnnkifQw"]}