%0 Conference Paper %1 conf/padl/LiangK13 %A Liang, Senlin %A Kifer, Michael %B PADL %D 2013 %E Sagonas, Konstantinos %I Springer %K dblp %P 173-189 %T Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. %U http://dblp.uni-trier.de/db/conf/padl/padl2013.html#LiangK13 %V 7752 %@ 978-3-642-45283-3

@inproceedings{conf/padl/LiangK13, added-at = {2017-05-17T00:00:00.000+0200}, author = {Liang, Senlin and Kifer, Michael}, biburl = {https://www.bibsonomy.org/bibtex/207e895cf8682c43447809e4243cb3fb9/dblp}, booktitle = {PADL}, crossref = {conf/padl/2013}, editor = {Sagonas, Konstantinos}, ee = {https://doi.org/10.1007/978-3-642-45284-0_12}, interhash = {cdebb1ad7f911f1984e04fd9dd90811c}, intrahash = {07e895cf8682c43447809e4243cb3fb9}, isbn = {978-3-642-45283-3}, keywords = {dblp}, pages = {173-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:06:02.000+0200}, title = {Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2013.html#LiangK13}, volume = 7752, year = 2013 }