Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
Non-Well-Founded Sets Obtained from Ideal Fixed Points
LICS, 1989.
@inproceedings{LICS-1989-MisloveMO, author = "Michael W. Mislove and Lawrence S. Moss and Frank J. Oles", booktitle = "{Proceedings of the Fourth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1989.39181", isbn = "0-8186-1954-6", pages = "263--272", publisher = "{IEEE Computer Society}", title = "{Non-Well-Founded Sets Obtained from Ideal Fixed Points}", year = 1989, }