David A. Basin, Seán Matthews. Structuring Metatheory on Inductive Definitions. Inf. Comput., 162(1-2):80-95, 2000.
@article{BasinM00, title = {Structuring Metatheory on Inductive Definitions}, author = {David A. Basin and Seán Matthews}, year = {2000}, tags = {metatheory}, researchr = {https://researchr.org/publication/BasinM00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {162}, number = {1-2}, pages = {80-95}, }