Towards Complete Reasoning about Axiomatic Specifications.

Swen Jacobs, Viktor Kuncak

Browse the full VMCAI paper archive.