Hereditary finite sets, data bases and polynomial-time computability (1993)

by Sazonov
Venue:Theoretical Computer Science