@string{proc="Proceedings of the "}
@string{cade="International Conference on Automated Deduction"}
@string{lnai="Lecture Notes in Artificial Intelligence"}
@string{sv="Springer-Verlag"}

@InProceedings(Brown2005,
 Author="Chad E. Brown",
 Title="{Reasoning in Extensional Type Theory with Equality}",
 Crossref="cade20",
 Pages="23--37")

@proceedings(cade20,
 booktitle=proc # "20th " # cade,
 title=proc # "20th " # cade,
 publisher=sv,
 Series=lnai,
 Volume=3632,
 editor="Robert Nieuwenhuis",
 address="Tallinn, Estonia",
 year=2005)