Leonid A. Kalinichenko, Vladimir Zadorozhny. Type Inferencing Based on Complete Type Specifications. In Johann Eder, Leonid A. Kalinichenko, editors, Advances in Databases and Information Systems, Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS 95), Moscow, 27-30 June 1995. Workshops in Computing, pages 207-219, Springer, 1995. [doi]
Abstract is missing.