Cliff Jones, José Oliveira. Editorial. Formal Asp. Comput., 31(6):661, 2019. [doi]
@article{JonesO19, title = {Editorial}, author = {Cliff Jones and José Oliveira}, year = {2019}, doi = {10.1007/s00165-019-00498-9}, url = {https://doi.org/10.1007/s00165-019-00498-9}, researchr = {https://researchr.org/publication/JonesO19}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {31}, number = {6}, pages = {661}, }