Bringing them all Together

C. Areces
2001 Journal of Logic and Computation  
doi:10.1093/logcom/11.5.657 fatcat:vaqismzq2zas7pqssvyepaht6m