WOS,L AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS - MCGRAW, NEW YORK 1992 - 24X19 ISBN: 0-07-911251-X Dewey Class. No.: 621.3819535 W837