Forum: A Multiple-Conclusion Specification Logic

Dale Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1):201-232, 1996. [doi]

Abstract

Abstract is missing.