On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head