A Completeness Technique for D-Axiomatizable Semantics

Francine Berman

Browse the full STOC paper archive.