DMCA

A zero-one law for logic with a fixed-point operator

by Andreas Blass , Yuri Gurevich
Venue:Inform. and Control
Citations:20 - 7 self