Journal of Automated Reasoning

Title	Journal of Automated Reasoning
Full_volumes	2-11
Years	1986-93
Bound	Mb: 2-9
Section	comp
Total_size_m	0.37
Volume_size_m	0,04