Codes related to the examples in the book
Smodels code
(more links coming soon)
DLV code
Codes in external sites (please send me links)