The Higher-Order Recursive Path Ordering (1999)

by J.-P. Jouannaud , A. Rubio
Venue:FOURTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:44 - 10 self