Premise annotation in mental model construction: An ACT-R approach to processing indeterminacy in spatial relational reasoning. - Sven Brüssow; Marco Ragni; Matthias Frorath; Lars Konieczny; Thomas Fangmeier (Cogn. Syst. Res., 2013)