@dblp

A translational approach to constraint answer set solving.

, and . Theory Pract. Log. Program., 10 (4-6): 465-480 (2010)

Links and resources

Tags