Abiteboul and Victor Vianu. Generic computation and its complexity (1991)

by Serge
Venue:In Proceedings of 23rd ACM Symposium on the Theory of Computing