BFS using difference lists.