A Proof of the Duality of the DINA Model and the DINO Model · Study