@book{Beierle93_InfBericht146,
   EDITOR = "C. Beierle",
   TITLE  = "{9. Workshop Logische Programmierung}",
   ORGANIZATION = "{FB Informatik, FernUniversit{\"a}t Hagen}",
   SERIES = "{Informatik-Bericht 146}",
   YEAR = 1993,
   MONTH = oct,
   URL =  "email:christoph.beierle@fernuni-hagen.de",
   CONTACT =  "Christoph Beierle,
               FernUniversit{\"a}t Hagen, D-58084 Hagen, Germany",
    KEYWORDS  = {Logic Programming, Functional-Logic Programming
                 Logic Programming, Specification, Verification Constraints,
                 Negation, Types, Unification, Corouting, Workshop},
    CR-classification = {D.1.6., D.3.2, D.3.4, F.4.1, I.2.3},
    ABSTRACT  = {
    Der 9. Workshop Logische Programmierung wurde veranstaltet von der
 Gesellschaft f"ur Logisches Programmieren in Deutschland e.V. (ALP/G)
 sowie den Fachaussch"ussen 1.2 'Inferenzsysteme' und 1.1 'Methoden und
 Werkzeuge der KI' der Gesellschaft f"ur Informatik e.V. (GI) und fand
 statt vom 11. bis 13. Oktober 1993 an der Fernuniversit"at in Hagen.
 Auf dem Workshop gab es eingeladene Vortr"age von E. B"orger (Univ. Pisa),
 R. Manthey (Univ. Bonn) und G. Smolka (DFKI Saarbr"ucken) sowie 23
 Beitr"age, die aus dem eingereichten Arbeiten ausgew"ahlt wurden. Dieser
 Bericht enth"alt neben dem Programm Zusammenfassungen aller Vor-
 tr"age des Workshops.} }