Mode and Termination Checking for Higher-Order Logic Programs (1996)

by Ekkehard Rohwedder, Frank Pfenning
Venue:In Hanne Riis Nielson, editor, Proceedings of the European Symposium on Programming