1. Separating LREC from LFP;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
2. Enhancing fixed point logic with cardinality quantifiers;Journal of Logic and Computation;1998-02-01
3. Counting Quantifiers, Successor Relations, and Logarithmic Space;Journal of Computer and System Sciences;1997-06
4. Expressive power of unary counters;Lecture Notes in Computer Science;1997
5. Expressive power of unary counters;Lecture Notes in Computer Science;1997