Answer Set Programming as SAT modulo Acyclicity (Frontiers in artificial intelligence and applications)