%0 Journal Article %1 journals/tplp/SmausHK01 %A Smaus, Jan-Georg %A Hill, Patricia M. %A King, Andy %D 2001 %J TPLP %K dblp %N 4 %P 447-486 %T Verifying Termination and Error-Freedom of Logic Programs with block Declarations. %U http://dblp.uni-trier.de/db/journals/tplp/tplp1.html#SmausHK01 %V 1

@article{journals/tplp/SmausHK01, added-at = {2019-06-02T00:00:00.000+0200}, author = {Smaus, Jan-Georg and Hill, Patricia M. and King, Andy}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29786f074789299dcdd79af7f3675555b/dblp}, ee = {https://www.wikidata.org/entity/Q60501281}, interhash = {1ca4265604c3aa781c6d8757409fd6a0}, intrahash = {9786f074789299dcdd79af7f3675555b}, journal = {TPLP}, keywords = {dblp}, number = 4, pages = {447-486}, timestamp = {2019-09-27T11:44:57.000+0200}, title = {Verifying Termination and Error-Freedom of Logic Programs with block Declarations.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp1.html#SmausHK01}, volume = 1, year = 2001 }