Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Alferes, J.J., Pereira, L.M. Preface. Journal of Automated Reasoning 20, 1–3 (1998). https://doi.org/10.1023/A:1005925305967
Issue Date:
DOI: https://doi.org/10.1023/A:1005925305967