A short note concerning lazy reduction rules for append. Softw: Pract (1982)

by M R Sleep, S Holmström
Venue:Exper