Contents

1997 The Journal of Logic Programming  
doi:10.1016/0743-1066(97)90003-0 fatcat:d2pwry7myjcv3cgsdq743hbyjq