Verifying Partial Orders

Claire Kenyon-Mathieu, Valerie King. Verifying Partial Orders. In Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, 15-17 May 1989, Seattle, Washington, USA. pages 367-374, ACM, 1989.

Abstract

Abstract is missing.