@book{Huang96-proof,
  author	= {Huang, X.},
  title		= {Human Oriented Proof Presentation: A Reconstructive Approach},
  publisher	= {Infix},
  year		= {1996},
  address	= {Sankt Augustin},
  series	= {DISKI 112}
}