Safe Folding/Unfolding with Conditional Narrowing (1997)

by Maria Alpuente , Moreno Falaschi , Gines Moreno , German Vidal
Venue:PROC. OF THE INTERNATIONAL CONFERENCE ON ALGEBRAIC AND LOGIC PROGRAMMING, ALP'97, SOUTHAMPTON (ENGLAND
Citations:11 - 9 self