Drabent, W. On Completeness of the Inductive Assertion Method for Logic Programs, Unpublished note, Institute of Computer Science, Polish Academy of Sciences. May 1988. (page 1, page 2, page 3)