Demandness in rewriting and narrowing (2002)

by S Antoy, S Lucas
Venue:Elsevier Sciences Publisher