Claudio Arbib, Gianna Cioni: Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. AIMSA 1986: 55-61