Celestijnenlaan 200A – B-3001 Heverlee (Belgium) On the equivalence between CP-logic (2008)

by Joost Vennekens , Marc Denecker , Maurice Bruynooghe , Lpads , Joost Vennekens , Marc Denecker , Maurice Bruynooghe