Fuzzy Decision Procedures with Binary Relations by Leonid Kitainik