@Bibtex-file{Ai/LogicProgramming/LP/,
  title =        "Bibliography on Logic Programming",
  author =       "Ralf Scheidhauer",
  email =        "R.Scheidhauer@ids-scheer.de",
  supported =    "no",
  keywords =     "logic programming, artificial intelligence",
  abstract =     "This database contains the references in bibtex format
                 to proceedings and issues of journals of
                 \begin{itemize} \item Symposium on LP (SLP) \item North
                 American Conf. on LP (NACLP) \item Int. Conf. on LP
                 (ICLP) \item Joint Int. Conf. on LP (JICLP) \item Logic
                 Programming '88 (LP88) \item Int. Conf. on Rewriting
                 Techniques and Applications (RTA) \item Int. Symposium
                 on Programming Language Implementation and LP (PLILP)
                 \item UK Annual Conference on LP (ALPUK) \item Int.
                 Conf. on Fifth Generation Computer Systems (FGCS) \item
                 Int. Conf. on Algebraic and LP (ALP) \item Int. Conf.
                 on Automated Deduction (CADE) \item Int. WS on
                 Conditional and Typed Rewriting Systems (CTRS) \item
                 Extended Abstracts of the Third Int. WS on Unification
                 (UNIF) \item Portuguese Conference on Artificial
                 Intelligence (EPIA) \item Theoretical Aspects of
                 Computer Software (TACS) \item Theory and Practice of
                 Software Development (TAPSOFT) \item Journal of LP
                 (JLP) \item Journal of Automated Reasoning (JAR) \item
                 Journal of Symbolic Computation (JSC) \item Formal
                 Aspects of Computing (FAC) \end{itemize}",
  readme =       "We are interested in any kind of feedback. So if you
                 have any comments, suggestions, found some typing
                 errors, inconsistencies or errors, please let us know,
                 especially if you already have recorded some of the
                 missing proceedings or issues of the Journal of LP. You
                 can directly mail to: rscheidhauer@dfki.uni-sb.de",
}

.