%0 Journal Article %1 journals/jar/CervesatoF19 %A Cervesato, Iliano %A Fernández, Maribel %D 2019 %J J. Autom. Reason. %K dblp %N 4 %P 809-811 %T Preface to the Special Issue on Linearity. %U http://dblp.uni-trier.de/db/journals/jar/jar63.html#CervesatoF19 %V 63

@article{journals/jar/CervesatoF19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Cervesato, Iliano and Fernández, Maribel}, biburl = {https://www.bibsonomy.org/bibtex/2c1c28580c1d1087b742bda939abfaf6f/dblp}, ee = {https://doi.org/10.1007/s10817-019-09529-9}, interhash = {47bc67a45a6aa788ebef364bd58e2bb6}, intrahash = {c1c28580c1d1087b742bda939abfaf6f}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {809-811}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Preface to the Special Issue on Linearity.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar63.html#CervesatoF19}, volume = 63, year = 2019 }