@article{799719,
      note = {International conference proceedings.},
      author = {Dixon, Clare, and Finger, Marcelo,},
      url = {http://library.usi.edu/record/799719},
      title = {Frontiers of combining systems : 11th International  Symposium, FroCoS 2017, Brasília, Brazil, September 27-29,  2017, Proceedings /. FroCoS (Symposium)},
      abstract = {This book constitutes the proceedings of the 11th  International Symposium on Frontiers of Combining Systems,  FroCoS 2017, held in Brasília, Bazil, in September 2017.    The 17 papers presented in this volume were carefully  reviewed and selected from 26 submissions. They were  organized in topical sections named: description and  temporal logics, decision procedures, decidability and  verification, SAT, SMT and automated theorem proving, term  rewriting, and properties and combinations of logics.},
      doi = {https://doi.org/10.1007/978-3-319-66167-4},
      recid = {799719},
      pages = {1 online resource (x, 351 pages) :},
}