Cite
APA Citation
GANGE, G., NAVAS, J. A., SCHACHTE, P., SØNDERGAARD, H., & STUCKEY, P. J. (2015). horn clauses as an intermediate representation for program analysis and transformation*. Theory and practice of logic programming, 15(4), 526–542. http://access.bl.uk/ark:/81055/vdc_100039326554.0x00002d