JOURNAL OF AUTOMATED REASONING, VOL.6,1990 - BOUND VOLUME (KA DORDRECHT, 1990)
BOUND VOLUME