Martin Lange, Colin Stirling
Model Checking Fixed Point Logic with Chop
FoSSaCS, 2002.
@inproceedings{FoSSaCS-2002-LangeS, author = "Martin Lange and Colin Stirling", booktitle = "{Proceedings of the Fifth International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/3-540-45931-6_18", isbn = "3-540-43366-X", pages = "250--263", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Model Checking Fixed Point Logic with Chop}", volume = 2303, year = 2002, }