An equivalence in lotos and its decision method

Hiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi. An equivalence in lotos and its decision method. Systems and Computers in Japan, 22(1):10-20, 1991. [doi]

Abstract

Abstract is missing.