On sets ∀-definable from Pfaffian functions - Bianconi, Ricardo (Journal of Symbolic Logic, 1992)