## Tim Fernando

*A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation*

CSL, 1991.

@inproceedings{CSL-1991-Fernando, author = "Tim Fernando", booktitle = "{Proceedings of the Fifth Workshop on Computer Science Logic}", doi = "10.1007/BFb0023760", isbn = "3-540-55789-X", pages = "96--110", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation}", volume = 626, year = 1991, }