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