Computing Answer Sets Using Model Generation Theorem Provers


SABUNCU O., ALPASLAN F. N.

4th International Workshop on Answer Set Programming (ASP’07), 8 - 13 Eylül 2007