Optimizing modular logic languages (1998)

by Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
Venue:ACM Computing Surveys (CSUR