@article{ArwornDenecke2002,
  author    = {Arworn, Srichan and Denecke, Klaus-Dieter},
  title     = {Intervals and complete congruences defined by M-solid varieties},
  year      = {2002},
  language  = {en}
}
@article{DeneckeKoppitzNiwczyk2002,
  author    = {Denecke, Klaus-Dieter and Koppitz, J{\"o}rg and Niwczyk, St.},
  title     = {Equational theories generated by generalized hypersubstitutions of type (n)},
  year      = {2002},
  language  = {en}
}
@book{DeneckeWismath2002,
  author    = {Denecke, Klaus-Dieter and Wismath, Shelly},
  title     = {Universal algebra and applications in theoretical computer science},
  publisher = {Chapman \& Hall/CRC},
  address   = {Boca Raton},
  isbn      = {1-584-88254-9},
  pages     = {383 S.},
  year      = {2002},
  language  = {en}
}
@article{DeneckeKoppitzWismath2002,
  author    = {Denecke, Klaus-Dieter and Koppitz, J{\"o}rg and Wismath, Shelly},
  title     = {Solid Varietie of Arbitrary Type},
  year      = {2002},
  language  = {en}
}
@article{DeneckeWismath2002,
  author    = {Denecke, Klaus-Dieter and Wismath, Shelly},
  title     = {M-solidity testing systems},
  year      = {2002},
  language  = {en}
}
@article{PearceSarsakovSchaubetal.2002,
  author    = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan},
  title     = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs},
  isbn      = {3-540-43930-7},
  year      = {2002},
  language  = {en}
}
@article{BesnardSchaubTompitsetal.2002,
  author    = {Besnard, Philippe and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan},
  title     = {Paraconsistent reasoning via quantified boolean formulas},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@article{PearceSarsakovSchaubetal.2002,
  author    = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan},
  title     = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report},
  year      = {2002},
  language  = {en}
}
@article{AltmannBrandtKloskaetal.2002,
  author    = {Altmann, Thomas and Brandt, Stephan Peter and Kloska, Sebastian and Kehr, Julia},
  title     = {Using array hybridization to monitore gene expression at the single cell level},
  year      = {2002},
  language  = {en}
}
@book{LueckEisenreichDomsch2002,
  author    = {L{\"u}ck, Erika and Eisenreich, Manfred and Domsch, Horst},
  title     = {Innovative Kartiermethoden f{\"u}r die teilfl{\"a}chenspezifische Landwirtschaft : innovative Methods for Precision Agriculture},
  series = {Stoffdynamik in Geosystemen},
  volume    = {7},
  journal   = {Stoffdynamik in Geosystemen},
  editor    = {Blumenstein, Oswald},
  publisher = {Selbstverl. der Arbeitsgruppe Stoffdynamik in Geosystemen},
  address   = {Potsdam},
  issn      = {0949-4731},
  pages     = {155 S.},
  year      = {2002},
  language  = {de}
}