Abstract rewriting Approach to solve Datalog programs. - Fernando Tarin Morales; Fuyuki Ishikawa; Shinichi Honiden (DBPL, 2015)