A framework for analysing the termination of de logic programs with respect to call patterns (1992)

by D De Schreye, K Verschaetse, M Bruynooghe
Venue:In Proc. FGCS'92, International Conference on Fifth Generation Computer Systems