Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Muñoz, C.A., Rayadurgam, S. & Tkachuk, O. Selected Extended Papers of NFM 2016: Preface. J Autom Reasoning 60, 1–2 (2018). https://doi.org/10.1007/s10817-017-9425-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-017-9425-5