## Stephan Kreutzer

*Partial Fixed-Point Logic on Infinite Structures*

CSL, 2002.

@inproceedings{CSL-2002-Kreutzer, author = "Stephan Kreutzer", booktitle = "{Proceedings of the 11th EACSL Annual Conference / 16th International Workshop on Computer Science Logic}", doi = "10.1007/3-540-45793-3_23", isbn = "3-540-44240-5", pages = "337--351", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Partial Fixed-Point Logic on Infinite Structures}", volume = 2471, year = 2002, }