1. Horn clauses as an intermediate representation for program analysis and transformation*. Issue 4 (3rd September 2015) Authors: GANGE, GRAEME; NAVAS, JORGE A.; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J. Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 526 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗