Logic against ghosts: comparison of two proof approaches for a list module.

Allan Blanchard, Nikolai Kosmatov, Frdric Loulergue

Browse the full SAC paper archive.