Distributed Implementation of KL1 on the Multi-PSI/V2

収録刊行物

• Proc. Intl. Conf. on Logic Programming

  Proc. Intl. Conf. on Logic Programming 436-451, 1989