Eiiti Wada

• Logic Programming '85
• Logic Programming '86