@article{FijalkowPaperman17,
  author    = {Nathana{\"{e}}l Fijalkow and
               Charles Paperman},
  title     = {Monadic Second-Order Logic with Arbitrary Monadic Predicates},
  journal   = {{ACM} Transactions on Computational Logic},
  volume    = {18},
  number    = {3},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3091124},
  doi       = {10.1145/3091124},
}

%%% 2016

{"_id":"j4NarDKmjhn9SwGfw","bibbaseid":"fijalkow-paperman-monadicsecondorderlogicwitharbitrarymonadicpredicates-2017","downloads":0,"creationDate":"2017-11-28T18:01:09.122Z","title":"Monadic Second-Order Logic with Arbitrary Monadic Predicates","author_short":["Fijalkow, N.","Paperman, C."],"year":2017,"bibtype":"article","biburl":"https://nathanael-fijalkow.github.io/perso.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nathanaël"],"propositions":[],"lastnames":["Fijalkow"],"suffixes":[]},{"firstnames":["Charles"],"propositions":[],"lastnames":["Paperman"],"suffixes":[]}],"title":"Monadic Second-Order Logic with Arbitrary Monadic Predicates","journal":"ACM Transactions on Computational Logic","volume":"18","number":"3","year":"2017","url":"http://doi.acm.org/10.1145/3091124","doi":"10.1145/3091124","bibtex":"@article{FijalkowPaperman17,\n author = {Nathana{\\\"{e}}l Fijalkow and\n Charles Paperman},\n title = {Monadic Second-Order Logic with Arbitrary Monadic Predicates},\n journal = {{ACM} Transactions on Computational Logic},\n volume = {18},\n number = {3},\n year = {2017},\n url = {http://doi.acm.org/10.1145/3091124},\n doi = {10.1145/3091124},\n}\n\n%%% 2016\n\n","author_short":["Fijalkow, N.","Paperman, C."],"key":"FijalkowPaperman17","id":"FijalkowPaperman17","bibbaseid":"fijalkow-paperman-monadicsecondorderlogicwitharbitrarymonadicpredicates-2017","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/3091124"},"downloads":0,"html":""},"search_terms":["monadic","second","order","logic","arbitrary","monadic","predicates","fijalkow","paperman"],"keywords":[],"authorIDs":["5a1da46565b42fc01800000f"],"dataSources":["BXc4gcZutK5ptXtTF"]}