                 A (Not Very Much) Annotated Bibliography
           on Integrating Object-Oriented and Logic Programming

              Available from menaik.cs.ualberta.ca:pub/oolog

file            description
----            -----------
README          this file
oolog.ps.Z      the whole bibliography in Postscript (ready for printing)
bibunits.sty    needed to format a sectioned bibliography
                (by Jose Alberto Fernandez (alberto@cs.umd.edu))
oolog.tex       master file which calls the section files below
logic.bib       Logics to Model Object-Oriented Notions (except:)
inherit.bib     Logics for Inheritance Systems;
                Modules (Worlds) for Logic Programming
lang.bib        Languages Integrating OOP and LP (except:)
impl.bib        (More Like) Implementation-Oriented Developments
specif.bib      Formal Specification of Object-Oriented Systems (rudimentary)
concurr.bib     Connections to Concurrent Logic Programming and Actors
constr.bib      Connections to Constraint Logic Programming (rudimentary)
db.bib          Deductive Object-Oriented Databases
kr.bib          Applications to Knowledge Representation
appl.bib        Other Applications

Please note that the division of bibliography into sections is quite
imperfect. Therefore I'd suggest that you get the whole bibliography first
(oolog.ps.Z) and then get the source part(s) (xx.bib) you are interested in.

The bibliography is about 180 items. The following sources are covered:
Computer and Control Abstracts (everything from 1989 to 1992), ACM Guide to
Computing Literature (1991 and 1992; this is hardly usable as a reference),
online databases COMPENDEX (1987-1992) and INSPEC (1988(?)-1992; this is
most comprehensive but I had no enough access to it).

Enjoy!                          27 March 1993

Vladimir Alexiev <vladimir@cs.ualberta.ca>
