@string{lnai="Lecture Notes in Artificial Intelligence"}
@string{sv="Springer-Verlag"}

@InProceedings(Brown2006b,
 Author="Chad E. Brown",
 Title="{Combining Type Theory and Untyped Set Theory}",
 crossref={ijcar2006},
 Address="Seattle, Washington",
 pages=205-219,
 year=2006)

@proceedings(ijcar2006,
 Title="Automated Reasoning, Third International Joint Conference,
            IJCAR 2006",
 Booktitle="Automated Reasoning, First International Joint Conference,
            IJCAR 2006",
 Address="Seattle, Washington",
 Editor="Ulrich Furbach and Natarajan Shankar",
 publisher=sv,
 Series=lnai,
 Volume=4130,
 Year=2006)