Regular Signed Resolution Applied to Annotated Logic Programs. - Barbara Messing; Peter v. Stackelberg (ILPS, 1995)