@Article{DS96a,
  author =       "J. Denzinger and S. Schulz",
  title =        "{Recording and Analysing Knowledge-Based Distributed
                  Deduction Processes}", 
  journal =      "Journal of Symbolic Computation",
  year =         "1996",
  volume =       "(Special Issue on Parallel Symbolic Computation), to
                  appear", 
  OPTnumber =    "",
  OPTpages =     "",
  OPTmonth =     "",
  OPTnote =      "",
  OPTannote =    ""
}