@inproceedings{1a33a4d463a74893ad651511079f24fb,
title = "Enhancing top-down solving with widening and narrowing",
abstract = "We present an enhancement of the generic fixpoint algorithm TD which can deal with widening and narrowing even for non-monotonic systems of equations. In contrast to corresponding enhancements proposed for other standard fixpoint algorithms, no extra priorities on variables are required. Still, a mechanism can be devised so that occurrences of the widening/narrowing operator are inserted as well as removed dynamically.",
author = "Kalmer Apinis and Helmut Seidl and Vesal Vojdani",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; International Conference on Semantics, Logics, and Calculi ; Conference date: 08-01-2016 Through 08-01-2016",
year = "2016",
doi = "10.1007/978-3-319-27810-0_14",
language = "English",
isbn = "9783319278094",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "272--288",
editor = "Probst, {Christian W.} and Hansen, {Ren{\'e} Rydhof} and Chris Hankin",
booktitle = "Semantics, Logics, and Calculi",
}