%0 Journal Article %1 journals/fac/Jones14 %A Jones, Cliff B. %D 2014 %J Formal Asp. Comput. %K dblp %N 3 %P 433 %T Editorial. %U http://dblp.uni-trier.de/db/journals/fac/fac26.html#Jones14 %V 26

@article{journals/fac/Jones14, added-at = {2018-12-05T00:00:00.000+0100}, author = {Jones, Cliff B.}, biburl = {https://www.bibsonomy.org/bibtex/2af67f5fd21efe5d600764373fae26614/dblp}, ee = {https://doi.org/10.1007/s00165-014-0298-7}, interhash = {b596cc9563c2d8ba435ac6d4e074307a}, intrahash = {af67f5fd21efe5d600764373fae26614}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 3, pages = 433, timestamp = {2018-12-06T11:38:23.000+0100}, title = {Editorial.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac26.html#Jones14}, volume = 26, year = 2014 }