Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Felty, A.P. Preface. Journal of Automated Reasoning 31, 189–190 (2003). https://doi.org/10.1023/B:JARS.0000021173.25739.c5
Issue Date:
DOI: https://doi.org/10.1023/B:JARS.0000021173.25739.c5