Hardstone carving is the term in art history for the objects produced and the craft , and an overview of the art history of the subject is given there .
Hardstone carving is the term in art history for the objects produced and the craft . 
 An overview of the art history of the subject is given there .