Formal Systems, Logics, and Programs
Crossref DOI link: https://doi.org/10.1007/978-3-319-68732-2_2
Published Online: 2018-01-14
Published Print: 2017
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Constable, Robert L.
License valid from 2017-01-01