Author:
Publication: Artificial Intelligence
The scope and limits of simulation in automated reasoning
Domain expansion for ASP-programs with external sources