Exploiting Spanning Trees for Directed Acyclicity | Digital Library | PAMCET | PAMCET