Automated reasoning: 33 basic research problems - Wos Larry (1988)
Keywords: Computer programming language; Computer science