Automated reasoning : 33 basic research problems - Wos, Larry (Prentice-Hall, Inc., 1988)