homepages/b/KVBelleghem journals/etai/DeneckerDB98 journals/jlp/BelleghemDS97 conf/iclp/BelleghemDS97 conf/iclp/DeneckerBDPS96 conf/deductive/DeneckerDPBS95 conf/iclp/BelleghemDS95 conf/iclp/BelleghemDS94 conf/ictl/BelleghemDS94