Complete problems for fixed-point logics

From MaRDI portal
Publication:4842629