Rights and permissions
About this article
Cite this article
Author Index to Volume 31. Journal of Automated Reasoning 31, 371 (2003). https://doi.org/10.1023/B:JARS.0000021187.23857.1b
Issue Date:
DOI: https://doi.org/10.1023/B:JARS.0000021187.23857.1b