Bidirectional inference of mode information for logic programs

Neng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi. Bidirectional inference of mode information for logic programs. Systems and Computers in Japan, 22(4):1-9, 1991. [doi]

Abstract

Abstract is missing.