@inproceedings{8ff3a15a9a60456e9152bd719110e4e0,
title = "Termination of logic programs using semantic unification",
author = "M.G.J. Arts and H. Zantema",
year = "1996",
language = "English",
isbn = "3-540-60939-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "219--233",
editor = "M. Proietti",
booktitle = "Logic Programming Synthesis and Transformation (Proceedings 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995)",
address = "Germany",
}