Implicit Definition of Logic Programs.

Chor Sang Kwok, Marek J. Sergot

Browse the full ICLP paper archive.