@article{ o2002constraint,
  title = {Constraint tableaux},
  author = {Ó~Nualláin, B.},
  journal = {Position Papers presented at International Conference on Analytic
                  Tableaux and Related Methods, Copenhagen, Denmark},
  volume = {252},
  pages = {253--255},
  year = {2002}
}

{"_id":"cAg7Yk8ne3CRkFfwG","authorIDs":["549b247b8e3bca5f37000940"],"author_short":["Nualláin, B.<nbsp>Ó"],"bibbaseid":"nuallin-constrainttableaux-2002","bibdata":{"author":["Nualláin, B. Ó"],"author_short":["Nualláin, B.<nbsp>Ó"],"bibtex":"@article{ o2002constraint,\n title = {Constraint tableaux},\n author = {Ó~Nualláin, B.},\n journal = {Position Papers presented at International Conference on Analytic\n Tableaux and Related Methods, Copenhagen, Denmark},\n volume = {252},\n pages = {253--255},\n year = {2002}\n}","bibtype":"article","id":"o2002constraint","journal":"Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark","key":"o2002constraint","pages":"253--255","title":"Constraint tableaux","type":"article","volume":"252","year":"2002","bibbaseid":"nuallin-constrainttableaux-2002","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://bon.auc-computing.nl/mise.bib","creationDate":"2014-12-24T20:39:23.237Z","downloads":0,"keywords":[],"search_terms":["constraint","tableaux","nualláin"],"title":"Constraint tableaux","year":2002,"dataSources":["2uu58iHb7vFMbboEF"]}