Gentzen-Type Formel System Representing Properties of Function and its Implementation. - T. Nishimura; M. Nakanishi; M. Nogeta; Y. Iwamaru (IJCAI, 1975)