Synthesis And Transformation Of Logic Programs Using Unfold/Fold Proofs (1999)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:Journal of Logic Programming
Citations:29 - 11 self