Updates with Equality: Beyond the Herbrand Universe Assumption.

Marianne Winslett, Seng-cho Timothy Chou

Browse the full ISMIS paper archive.