Simplifying A Logic Program Using Its Consequences

Open in new window