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]
@inproceedings{ChuangG92, title = {A Syntactic Approach to Fixed Point Computation on Finite Domains}, author = {Tyng-Ruey Chuang and Benjamin Goldberg}, year = {1992}, doi = {10.1145/141471.141517}, url = {http://doi.acm.org/10.1145/141471.141517}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/ChuangG92}, cites = {0}, citedby = {0}, pages = {109-118}, booktitle = {Proceedings of the 1992 ACM Conference on LISP and Functional Programming}, series = {LFP '92}, address = {New York, NY, USA}, publisher = {Association for Computing Machinery}, }