This page details a specific electronic resource that has been indicated by Villanova Librarians as useful in conducting research.
Bibliography of Automated Deduction
Hosted by ORA Canada, the focus of this bibliography is automated deduction for the years 1970-1995, however, earlier classic work is also included. It covers over 3,100 citations from journal articles, conference papers, technical reports, and dissertations. The bibliography may be browsed by author, and there is a search facility.