@InProceedings{DS94b,
  author = 	 "J. Denzinger and S. Schulz",
  title = 	 "{Recording, Analyzing and Presenting Distributed
		  Deduction Processes}",
  editor = 	 "H. Hong",
  pages =	 "114--123",
  booktitle =	 "Proc.\ 1st PASCO, Hagenberg/Linz",
  year =	 "1994",
  volume = 	 "5",
  series =	 "Lecture Notes Series in Computing",
  publisher =	 "World Scientific Publishing",
  address =	 "Singapore",
}