Type derivation using the projection operation

Rakesh Agrawal, Linda G. DeMichiel. Type derivation using the projection operation. Inf. Syst., 19(1):55-68, 1994.

Abstract

Abstract is missing.