Tyng-Ruey Chuang, Benjamin Goldberg. A Syntactic Approach to Fixed Point Computation on Finite Domains. In Proceedings of the 1992 ACM Conference on LISP and Functional Programming. LFP '92, pages 109-118, Association for Computing Machinery, New York, NY, USA, 1992. [doi]
No references recorded for this publication.
No citations of this publication recorded.