First paragraph of the abstract of a thesis titled "Testing the corrective assumption of dual process theory in reasoning":

"Dual-process theories of reasoning have become widely recognized as an explanation for various phenomena, such as thinking biases, moral or cooperative reasoning. Dual-process theory conceives human thinking as the interaction of a fast, more automatic, intuitive system (System 1) and a slower, controlled, more deliberative one (System 2). Arguably, the most dominant view on dual processes is the default-interventionist model. This posits a serial interaction between the two systems. When someone is faced with a reasoning problem, initially a System 1 intuitive response is formed. Then, afterwards, System 2 might get engaged in the process. Prominent dual-process theorists argue that reasoning bias occurs as a result of erroneous System 1 intuition. System 1 is thought to be able to generate responses based on “heuristic” cues, such as stereotypes rather than logico-mathematical principles. Despite its huge recognition, this theory comes with an untested assumption: the corrective (time-course) assumption. This posits that in cases in which heuristic cues are in conflict with logico-mathematical principles, System 2 needs to engage in order to correct initially formed System 1 intuitions, and form a judgement based on logical principles. Testing this assumption is inevitably important and the central question of this thesis."

 Testing the corrective assumption of dual process theory in reasoning (by Bago)