%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:51 +0100 GMT
%    
% Selection : Reference #81
%




@InProceedings{Backofen_et_al:1991,
      AUTHOR = {Backofen, Rolf and Euler, Lutz and Görz, Günther},
      TITLE = {Distributed Disjunctions for LIFE},
      YEAR = {1991},
      BOOKTITLE = {International Workshop on Processing Declarative Knowledge (PDK '91), July 1-3},
      PAGES = {161-170},
      EDITOR = {Boley, Harold and Richter, M.M.},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {Kaiserslautern, Germany},
      PUBLISHER = {Springer Verlag}
}