@InProceedings(Brown2006a,
 Author="Chad E. Brown",
 Title="{Verifying and Invalidating Textbook Proofs using Scunak}",
 Booktitle="Mathematical Knowledge Management, MKM 2006",
 Address="Wokingham, England",
 pages=110-123,
 year=2006)