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
|