Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems.

Frédéric Blanqui Colin Riba Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems. 105-119 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_8 db/conf/lpar/lpar2006.html#BlanquiR06