Paul Tarau, Michel Boyer: Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 279-300