@inproceedings{smausHK:tplp01,
     author = {{J.-G.}~Smaus and P. M. Hill and A.~King},
     title = {Verifying Termination and Error-Freedom of Logic Programs 
              with block Declarations},
     month = {July},
     volume = 1,
     number = {part 4},
     pages = {447 -- 486},
     year = {2001},
     url = {http://www.cs.ukc.ac.uk/pubs/2001/1068},
     journal = {Theory and Practice of Logic Programming},
     publisher = {Cambridge University Press}
 }