Luca Aceto Bard Bloom Frits W. Vaandrager 113-124 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#AcetoBV92