ART (Automatic Reasoning Tool) is designed to be used on:

• A. LISP machines
• B. personal computers
• C. microcomputers
• D. All of the above