@incollection{B11,
  key =		 {B11},
  author        = {Christoph Benzm\"uller and Marvin Schiller and J\"org Siekmann},
  editor        = {Matthew W. Crocker and J\"org Siekmann},
  booktitle     = {Resource-Adaptive Cognitive Processes},
  chapter       = {Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs},
  series        = {Cognitive Technologies Series},
  publisher     = {Springer},
  year          = {2010},
}