Declarative Algorithms and Complexity Results for Assumption-Based Argumentation