1
Published 1988
Springer Berlin Heidelberg
... Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference...