Author:
Publication: Artificial Intelligence
Editorial Board
The scope and limits of simulation in automated reasoning