Faizah, siti and nusantara, toto and sudirman, sudirman and rahardi, rustanto The Construction of Explicit Warrant Derived from Implicit Warrant in Mathematical Proof. In: AIP Conference Proceedings.