Conference
Proving Termination of Logic Programs by Exploiting Term Properties.
Authors
Bossi A; Cocco N; Fabris M
Editors
Abramsky S; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
494
Pagination
pp. 153-180
Publisher
Springer
Publication Date
1991
ISBN-10
3-540-53981-6
Conference proceedings
TAPSOFT, Vol.2