Shepherdson, Unfold-fold transformations of logic programs (1989)

by P Gardner, J C