Larry WosBooksAutomated reasoning and its applicationsAutomated reasoningFascinating Country in the World of Computing, aAutomated reasoningThe automation of reasoningCollected Works of Larry Wos Vol. 1Collected Works of Larry WosA fascinating country in the world of computingAutomated ReasoningAuthor data: Open Library