Fixed point logics

Anuj Dawar, Yuri Gurevich. Fixed point logics. Bulletin of Symbolic Logic, 8(1):65-88, 2002. [doi]

No reviews for this publication, yet.