Pierluigi Crescenzi Riccardo Silvestri A Note on the Descriptive Complexity of Maximization. 11-15 1993 47 Inf. Process. Lett. 1 db/journals/ipl/ipl47.html#CrescenziS93