Model-Checking Memory Requirements of Resource-Bounded Reasoners. - Albore, Alexandre; Alechina, Natasha; Bertoli, Piergiorgio; Ghidini, Chiara; Logan, Brian; Serafini, Luciano (2006)