Implicit Definition of Logic Programs. - Chor Sang Kwok; Marek J. Sergot (ICLP/SLP, 1988)

A mechanism for structuring logic programs. - Chor Sang Kwok (1989)