JOURNAL OF AUTOMATED REASONING, VOL.5,1989 - BOUND VOLUME (KA DORDRECHT, 1989)
BOUND VOLUME