Journal of Automated Reasoning (Springerlink) Vol. 1, no.1, 1985-