%0 Journal Article %1 journals/tcs/MousaviRG07 %A Mousavi, Mohammad Reza %A Reniers, Michel A. %A Groote, Jan Friso %D 2007 %J Theor. Comput. Sci. %K dblp %N 3 %P 238-272 %T SOS formats and meta-theory: 20 years after. %U http://dblp.uni-trier.de/db/journals/tcs/tcs373.html#MousaviRG07 %V 373

@article{journals/tcs/MousaviRG07, added-at = {2021-02-17T00:00:00.000+0100}, author = {Mousavi, Mohammad Reza and Reniers, Michel A. and Groote, Jan Friso}, biburl = {https://www.bibsonomy.org/bibtex/22850d01afea006810493da3405bd3f66/dblp}, ee = {https://www.wikidata.org/entity/Q57745717}, interhash = {4daaf19299b98d342bdf2d22cbf0528c}, intrahash = {2850d01afea006810493da3405bd3f66}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {238-272}, timestamp = {2024-04-08T18:39:54.000+0200}, title = {SOS formats and meta-theory: 20 years after.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs373.html#MousaviRG07}, volume = 373, year = 2007 }