Leonid A. Kalinichenko, Vladimir Zadorozhny: Type Inferencing Based on Complete Type Specifications. ADBIS 1995: 207-219