Anil Nerode, Victor W. Marek, V. S. Subrahmanian. Introduction. Meth. of Logic in CS, 1(1):1-3, 1994.
@article{NerodeMS94, title = {Introduction}, author = {Anil Nerode and Victor W. Marek and V. S. Subrahmanian}, year = {1994}, researchr = {https://researchr.org/publication/NerodeMS94}, cites = {0}, citedby = {0}, journal = {Meth. of Logic in CS}, volume = {1}, number = {1}, pages = {1-3}, }