Raghu Ramakrishnan Magic Templates: A Spellbinding Approach To Logic Programs. 189-216 1991 11 J. Log. Program. 3&4 db/journals/jlp/jlp11.html#Ramakrishnan91