ORA Canada

ORA Canada
Contact us
What's new?
Products and services
Reports and Collections
ORA Canada
Automated Deduction

ORA Canada Bibliography of Automated Deduction

As a service to the automated deduction community, ORA Canada hosts this bibliography of Automated Deduction. At last count, this bibliography cited 3,128 reports and papers related to automated deduction. The bibliography focuses on the years 1970 to 1995, but it also includes nearly 250 references to early classic work in the field.

The bibliography has been divided into several sections:

The entries are arranged alphabetically, by the author's, or the first author's, surname. Secondary authors and editors are included in the citations.

An asterisk (*) before an entry indicates that the entry includes information on the actual title page of the report. Entries without an asteriks come from a secondary source, such as the bibliography of a report. With the exception of citations provided by the author, the entries with an asteriks are more likely to be complete and accurate.

The acronyms used in the bibliography are defined at the end of this page.

We acknowledge that this bibliography has numerous inconsistent abbreviations and institution names since the entries are usually cited verbatim from the source. As well, note that some authors translate the German umlaut (accent " over a vowel) as an e following the vowel (e.g., ae, oe, or ue).

Bill Pase and Karen Summerskill were the principal developers of the bibliography of automated deduction.

Acronyms in the bibliography of automated deduction

The following is a list of conference, organization and publication acronyms that are frequently encountered in automated deduction literature:

ed. = edited by, editor(s)

AAAI - American Association for Artificial Intelligence
ACM - Association for Computing Machinery
AFIPS - American Federation of Information Processing Societies
AISB - Society for the Study of Artificial Intelligence and Simulation Behaviour
AIMSA - Artificial Intelligence: Methodology, Systems, Applications
CAAP - Colloquium on Trees in Algebra and Programming
CACM - Communications of the Association for Computing Machinery
CADE - Conference on Automated Deduction
CREAS - Colloquium on the Resolution of Equations in Algebraic Structures
CRIN - Centre de Recherche en Informatique de Nancy
DARPA - Defense Advanced Research Projects Agency
EATCS - European Association for Theoretical Computer Science
ECAI - European Conference on Artificial Intelligence
ESOP - European Symposium on Programming
EUROCAL - European Conference on Computer Algebra
EUROSAM - International Symposium on Symbolic and Algebraic Computation
FGCS - Conf. on Fifth (Future) Generations Computer Systems
GWAI - German Workshop on Artificial Intelligence
GWTR - German Workshop on Term Rewritng
JACM - Journal of the Association for Computing Machinery
ICALP - International Colloquium on Automata, Languages, and Programming
ICLP - International Conference on Logic Programming
IEEE - Institute of Electrical and Electronics Engineers
IFB - Informatik-Fachberichte
IFIP - International Federation of Information Processing Societies
IJCAI - International Joint Conference on Artificial Intelligence
INRIA - Institut National de Recherche en Informatique et en Automatique
ISSAC - International Symposium on Symbolic and Algebraic Computation
JACM - Journal of the ACM
JAR - Journal of Automated Reasoning
JCSS - Journal of Computer and Systems Sciences
JSC - Journal of Symbolic Computation
JSL - Journal of Symbolic Logic
LFCS - Laboratory for Foundations of Computer Science, Univ. of Edinburgh
LICS - Symposium on Logic in Computer Science
LNAI - Lecture Notes in Artificial Intelligence
LNCS - Lecture Notes in Computer Science
MCC - Microelectronics and Computer Technology Corporation
MFCS - Mathematical Foundations of Computer Science
MIT - Massachusetts Institute of Technology
POPL - ACM Symposium on Principles of Programming Languages
RTA - International Conference on Rewriting Techniques and Applications
SCAI - Scandinavian Conference on Artificial Intelligence
SIAM - Society for Industrial and Applied Mathematics
SIGACT - Special Interest Group on Automata and Computability Theory
SIGART - Special Interest Group on Artificial Intelligence
SigPlan - Special Interest Group on Programming Languages
SIGSAM - Special Interest Group on Symbolic & Algebraic Manipulation
SLP - Symposium on Logic Programming
STACS - Symposium on Theoretical Aspects of Computer Science
STOC - ACM Symposium on Theory of Computing
SYMSAC - Symposium on Symbolic and Algebraic Computation
TAPSOFT - International Joint Conference on Theory and Practice of Software Development
TCS - Journal of Theoretical Computer Science
ToPLaS - ACM Transactions on Programming, Languages, and Systems

URL: http://www.oracanada.com/biblio/biblio-prover-welcome.html
Revised: April 10, 2009