Detection of conjunctive stable predicates in dynamic systems, Xinli Wang, Jean Mayo, Guy Hembroff, Chunming Gao
Michigan Tech Publications