Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation