Shoham Ben-David Jeffrey Pound Richard J. Trefler Dmitry Tsarkov Grant E. Weddell Fair Cycle Detection using Description Logic Reasoning. 2009 Description Logics http://ceur-ws.org/Vol-477/paper_56.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#Ben-DavidPTTW09