Answer Set Programming (ASP) is a successful method for solving range of real-world applications. Despite the availability fast ASP solvers, computing answer sets demands very large computational power, since problem tackled in second level polynomial hierarchy. A speed-up set computation may be attained, if program can split into two disjoint parts, bottom and top. Thus, part evaluated indepen...