@inbook{OLeary1991,
    Abstract = {The present chapter describes the first two major published works in automated theorem proving, the Logic Theory Machine (LT) of Newell, Shaw, and Simon about 1956 and the work of Wang in 1958. Both works attempted to prove theorems in propositional logic found in Principia Mathematica. While the LT is the first published example of automated theorem proving, Martin Davis, in 1954, wrote a program to prove theorems in additive arithmetic (Loveland, 1984, p. 1). His results were not published.},
    Address = {Boston, MA},
    Author = {O'Leary, Daniel J.},
    BookTitle = {Perspectives on the History of Mathematical Logic},
    Editor = {Drucker, Thomas},
    File = {Principia Mathematica and the Development of Automated Theorem Proving - OLeary1991\_Chapter\_PrincipiaMathematicaAndTheDeve - a - u.pdf},
    ISBN = {978-0-8176-4769-8},
    Pages = {47--53},
    Publisher = {Birkh{\"a}user Boston},
    Title = {Principia Mathematica and the Development of Automated Theorem Proving},
    URL = {https://doi.org/10.1007/978-0-8176-4769-8\_4},
    Year = {1991},
    bdsk-url-1 = {https://doi.org/10.1007/978-0-8176-4769-8\_4},
    date-added = {2020-10-31 13:14:22 +0100},
    date-modified = {2020-10-31 13:14:22 +0100},
    doi = {10.1007/978-0-8176-4769-8_4}
}

@inbook{OLeary1991, Abstract = {The present chapter describes the first two major published works in automated theorem proving, the Logic Theory Machine (LT) of Newell, Shaw, and Simon about 1956 and the work of Wang in 1958. Both works attempted to prove theorems in propositional logic found in Principia Mathematica. While the LT is the first published example of automated theorem proving, Martin Davis, in 1954, wrote a program to prove theorems in additive arithmetic (Loveland, 1984, p. 1). His results were not published.}, Address = {Boston, MA}, Author = {O'Leary, Daniel J.}, BookTitle = {Perspectives on the History of Mathematical Logic}, Editor = {Drucker, Thomas}, File = {Principia Mathematica and the Development of Automated Theorem Proving - OLeary1991_Chapter_PrincipiaMathematicaAndTheDeve - a - u.pdf}, ISBN = {978-0-8176-4769-8}, Pages = {47--53}, Publisher = {Birkh{\"a}user Boston}, Title = {Principia Mathematica and the Development of Automated Theorem Proving}, URL = {https://doi.org/10.1007/978-0-8176-4769-8_4}, Year = {1991}, bdsk-url-1 = {https://doi.org/10.1007/978-0-8176-4769-8_4}, date-added = {2020-10-31 13:14:22 +0100}, date-modified = {2020-10-31 13:14:22 +0100}, doi = {10.1007/978-0-8176-4769-8_4} }