@inproceedings{BM7b,
title = { Combining Forward and Backward Abstract Interpretation of {H}orn Clauses },
author = {Bakhirkin, Alexey and Monniaux, David},
year = {2017},
booktitle = {Static analysis (SAS)},
volume = {10422},
team = {PACSS},
entrysubtype = {intc},
}
