Termination and reduction checking for higher-order logic programs (2001)

by Brigitte Pientka
Venue:Prooceedings of the first International Joint Conference on Automated Reasoning