A necessary and sufficient condition for acyclic graphs | IEEE Journals & Magazine | IEEE Xplore