Answer Set Programming with External Source Access
Experimenting with recursive queries in database and logic programming systems