Resource Adaptive Processes in Automated Reasoning Systems<pre>@incollection{ABDS-09-a,
  author        = {Serge Autexier  and Christoph Benzm\"uller and Dominik Dietrich and J\"org Siekmann},
  editor        = {Matthew Crocker and J\"org Siekmann },
  booktitle     = {Resource Adaptive Cognitive Processes, Part III – Resource-Adaptive Rationality in Machines },
  title         = {Resource Adaptive Processes in Automated Reasoning Systems},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {389-423},
  year          = {2009},
}
</pre>