Magic templates: a spellbinding approach to logic programs

Raghu Ramakrishnan
1991 The Journal of Logic Programming  
doi:10.1016/0743-1066(91)90026-l fatcat:wezmcdj64bb2be5lhwe7m5kaqy