@Article{thielscher:2-JAR95,
  author = 	"Michael Thielscher",
  title = 	"On the {C}ompleteness of {SLDENF}-{R}esolution",
  journal = 	"Journal of Automated Reasoning",
  year = 	"1996",
  volume = 	"17",
  number = 	"2",
  pages = 	"199--214"
}