Márcia R. Notare, Júlio P. Machado, Tiarajú A. Diverio and Paulo Fernando Blauth Menezes
Knowledge Anticipation on Agents Relationship in the Geometry Proof System
