Warren L. Hare Adrian S. Lewis Identifying Active Manifolds. 75-82 2007 2 Algorithmic Oper. Res. 2 http://journals.hil.unb.ca/index.php/AOR/article/view/2793 db/journals/aor/aor2.html#HareL07