Rolf Backofen, 
   Lutz Euler and 
   Günther Görz. Distributed Disjunctions for LIFE.  In 
   Harold Boley and 
   M.M. Richter editors,  International Workshop on Processing Declarative Knowledge (PDK '91), July 1-3, Pages 161-170, Springer Verlag, Kaiserslautern, Germany,   1991.      google
     |