Distributed Disjunctions for LIFE

Rolf Backofen, Lutz Euler, Günther Görz. Distributed Disjunctions for LIFE. In Harold Boley, Michael M. Richter, editors, Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Volume 567 of Lecture Notes in Computer Science, pages 161-170, Springer, 1991.

Abstract

Abstract is missing.