A Formal Operational Model of ACT-R: Structure and Behaviour.

Vincent Langenfeld, Bernd Westphal, Andreas Podelski

Browse the full CogSci paper archive.