DMCA

ABSTRACT An Implementation of Narrowing Strategies

by Sergio Antoy , Bart Massey , Michael Hanus