Cited By
View all- Nys VDe Schreye D(2017)Abstract conjunctive partial deduction for the analysis and compilation of coroutinesFormal Aspects of Computing10.1007/s00165-016-0389-829:1(125-153)Online publication date: 1-Jan-2017
- Rosenblueth D(2006)A Multiple-Clause Folding Rule Using Instantiation and GeneralizationFundamenta Informaticae10.5555/2367480.236748769:1-2(219-249)Online publication date: 1-Jan-2006
- Rosenblueth D(2005)A Multiple-Clause Folding Rule Using Instantiation and GeneralizationFundamenta Informaticae10.5555/1227247.122725569:1-2(219-249)Online publication date: 1-Jul-2005