How Vacuous Is Vacuous?

Arie Gurfinkel, Marsha Chechik

Browse the full TACAS paper archive.