Optimizing modular logic languages

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
1998 ACM Computing Surveys  
doi:10.1145/289121.289131 fatcat:blxpajjd3nelbjbphypl7paqm4