A Proof of the Chip Model Separation Property in Alfa

• Thomas Hallgren
• Programatica meeting, February 27, 2004