@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}
}
|
