IPSJ SIGNotes Symbol manipulation Abstract No.050 - 003

IPSJ SIGNotes  

Yamazaki Kenichi (1988) Yamazaki Kenichi "The Compiler for the Logic Paradigm of TAO"