@inproceedings{Backo:Distr,
   author =       "Rolf Backofen and Lutz Euler and G{\"u}nther G{\"o}rz",
   title =        "Distributed Disjunktions For {LIFE}",
   booktitle =    "Proc. of the Inter. Workshop on Processing
                   Declarative Knowledge ({PDK}'91)",
   year =          1991,
   pages =        "161-170",
   series    = {Lecture Notes in Computer Science},
   volume    = 567,
   editor =       "H. Boley and M. M. Richter",
   publisher =    "Springer Verlag",
   address =      "Berlin",
   abstract = {pclife, a dialect of the LIFE language designed by \ait , extends
the original design by some features, the most important of which are
distributed disjunctions.  LIFE integrates the functional and the
logic-oriented programming styles, and feature types supporting
inheritance.  This language is well suited for knowledge
representation, in particular for applications in computational
linguistics.  
<P>
<B>Keywords:</B> Knowledge representation, AI
software, inferences, natural language processing
   }
}