ESPRIT CCL Working Group · 1 obras en el catálogoObrasCConstraints in computational logicsConstraints in computational logics