A Monotonicity Theorem for Extended Logic Programs.

Hudson Turner

Browse the full ICLP paper archive.