Improving Homeomorphic Embedding for Online Termination (0)

by M Leuschel
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR '98, LNCS