10th International Conference on Automated Deduction
-
nidottu
,
Englanti, 1990