@misc{44566, author = {Simone Yaniv}, title = {The Proving Ring}, year = {1999}, month = {1999-01-01}, publisher = {The Proving Ring}, language = {en}, }