Addendum to the Book

• Enumerating universes of various sizes (2.1.19, follows page 73) (pdf) ; (ps) ; (dvi)
• An interesting example of an incoherent program (Ch 1) (pdf) ; (ps) ; (dvi)
• Supported and minimal models are not necessarily answer sets (Chs 1, 3) (pdf) ; (ps) ; (dvi)