ASP solving; Distributed computation; Logic programming

Towards distributed computation of answer sets