Modular Answer Set Programming (2006)
[BibTex]