"Testing Acyclicity of Directed Graphs in Sublinear Time."

Michael A. Bender, Dana Ron (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics