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
Citations:32 - 10 self