%0 Journal Article %1 journals/entcs/BasinM98 %A Basin, David A. %A Matthews, Seán %D 1998 %J Electr. Notes Theor. Comput. Sci. %K dblp %P 353-366 %T Scoped metatheorems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs15.html#BasinM98 %V 15

@article{journals/entcs/BasinM98, added-at = {2011-06-20T00:00:00.000+0200}, author = {Basin, David A. and Matthews, Seán}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/254ba9724762b7004cde6778cae4c4f5c/dblp}, ee = {http://dx.doi.org/10.1016/S1571-0661(05)80021-0}, interhash = {fb004ae30ceb4b46cca3f15228eee84a}, intrahash = {54ba9724762b7004cde6778cae4c4f5c}, journal = {Electr. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {353-366}, timestamp = {2016-02-02T04:55:44.000+0100}, title = {Scoped metatheorems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs15.html#BasinM98}, volume = 15, year = 1998 }