SABUNCU, O. And ALPASLAN, F. N. 2007. Computing Answer Sets Using Model Generation Theorem Provers. 4th International Workshop on Answer Set Programming (ASP’07) .

SABUNCU, O., & ALPASLAN, F. N., (2007). Computing Answer Sets Using Model Generation Theorem Provers . 4th International Workshop on Answer Set Programming (ASP’07)

SABUNCU, ORKUNT, And FERDA NUR ALPASLAN. "Computing Answer Sets Using Model Generation Theorem Provers," 4th International Workshop on Answer Set Programming (ASP’07), 2007

SABUNCU, ORKUNT And ALPASLAN, FERDA N. . "Computing Answer Sets Using Model Generation Theorem Provers." 4th International Workshop on Answer Set Programming (ASP’07) , 2007

SABUNCU, O. And ALPASLAN, F. N. (2007) . "Computing Answer Sets Using Model Generation Theorem Provers." 4th International Workshop on Answer Set Programming (ASP’07) .

@conferencepaper{conferencepaper, author={ORKUNT SABUNCU And author={FERDA NUR ALPASLAN}, title={Computing Answer Sets Using Model Generation Theorem Provers}, congress name={4th International Workshop on Answer Set Programming (ASP’07)}, city={}, country={}, year={2007}}