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,
}