A Note on Negative Tagging for Least Fixed-Point FormulaeDilian Gurov and Bruce KapronRAIRO-Theor. Inf. Appl., 33 4-5 (1999) 383-392DOI: https://doi.org/10.1051/ita:1999124
