Cited By
View all- Puebla GAlbert EHermenegildo M(2011)Efficient local unfolding with ancestor stacks*Theory and Practice of Logic Programming10.1017/S147106840999026311:1(1-32)Online publication date: 1-Jan-2011
- Pettorossi AProietti MSenni V(2010)The transformational approach to program developmentA 25-year perspective on logic programming10.5555/1880413.1880420(112-135)Online publication date: 1-Jan-2010
- Pettorossi AProietti MSenni V(2010)The Transformational Approach to Program DevelopmentA 25-Year Perspective on Logic Programming10.1007/978-3-642-14309-0_6(112-135)Online publication date: 2010
- Show More Cited By