Raghu Ramakrishnan Magic Templates: A Spellbinding Approach to Logic Programs. 140-159 1988 ICLP/SLP db/conf/iclp/iclp88.html#Ramakrishnan88