Amy P. Felty. Preface. Journal of Automated Reasoning, 31(3-4):189-190, 2003. [doi]
@article{Felty03, title = {Preface}, author = {Amy P. Felty}, year = {2003}, doi = {10.1023/B:JARS.0000021173.25739.c5}, url = {http://dx.doi.org/10.1023/B:JARS.0000021173.25739.c5}, researchr = {https://researchr.org/publication/Felty03}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {31}, number = {3-4}, pages = {189-190}, }