Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/GangeNSSS15
%A Gange, Graeme
%A Navas, Jorge A.
%A Schachte, Peter
%A Søndergaard, Harald
%A Stuckey, Peter J.
%D 2015
%J CoRR
%K
%T Horn Clauses as an Intermediate Representation for Program Analysis and Transformation.
%U http://dblp.uni-trier.de/db/journals/corr/corr1507.html#GangeNSSS15
%V abs/1507.05762
@article{journals/corr/GangeNSSS15,
added-at = {2023-12-13T01:20:35.000+0100},
author = {Gange, Graeme and Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.},
biburl = {https://www.bibsonomy.org/bibtex/21ebda4c36f2c1cf80ecf660e39840788/admin},
ee = {http://arxiv.org/abs/1507.05762},
interhash = {7034d2bdbcad4b79bed397d641e1dd43},
intrahash = {1ebda4c36f2c1cf80ecf660e39840788},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-13T01:20:35.000+0100},
title = {Horn Clauses as an Intermediate Representation for Program Analysis and Transformation.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1507.html#GangeNSSS15},
volume = {abs/1507.05762},
year = 2015
}