Christoph Benzmüller, Marvin Schiller, Jörg H. Siekmann. Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. In Matthew W. Crocker, Jörg H. Siekmann, editors, Resource-Adaptive Cognitive Processes. Cognitive Technologies, pages 291-311, Springer, 2011. [doi]
Abstract is missing.