Automatic Bottom-Up Analysis and Transformation of Logic Programs (1996)

by W W Vasconcelos, M A Aragao, N E Fuchs
Venue:In LNAI