DMCA

Extensions of Answer Set Programming

by V. W. Marek , J. B. Remmel