The Gallery
Reasoning
Mark Turner
David H. Sanford
Moshe Y. Vardi
1