%0 Conference Paper %1 conf/sefm/KafleGSSS21 %A Kafle, Bishoksan %A Gange, Graeme %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B SEFM %D 2021 %E Calinescu, Radu %E Pasareanu, Corina S. %I Springer %K dblp %P 383-402 %T Lightweight Nontermination Inference with CHCs. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2021.html#KafleGSSS21 %V 13085 %@ 978-3-030-92124-8

@inproceedings{conf/sefm/KafleGSSS21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Kafle, Bishoksan and Gange, Graeme and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2b111141fdbd6d1935b439e7d61156231/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2021}, editor = {Calinescu, Radu and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-030-92124-8_22}, interhash = {eacabc93a1127c9602457b584026cbfb}, intrahash = {b111141fdbd6d1935b439e7d61156231}, isbn = {978-3-030-92124-8}, keywords = {dblp}, pages = {383-402}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {Lightweight Nontermination Inference with CHCs.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2021.html#KafleGSSS21}, volume = 13085, year = 2021 }