Typos in "Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets" - Page 26: on top of the figure, it should say "Example 17. (example 12 continued)" - The number of each example starting from Example 17 (inclusive) on should be incremented by one