ASF ASFPDV Acknowledgement Apr BC BibNet BibTeX Burlington C CB CDL CH CODEN CRC Calif DOI Detroit E Eng F FAX FOCS Fe Fri Goldwasser H ICR INSCC INSPEC ISBN ISF ISO ISSN Internet J Jul LCB LCCN LaTeX Los MDT MELVYL MI MST Mich N OCLC Oct P PAI PR Palo QA RM RecentCon Redondo Rhode Rico S SCT SFCS San Sci Shafi Solovay's TK Tel Thu URL UT WWW WorldCat X Xplore abbrev ack acknowledgement acm adr annote beebe bibdate bibmods bibnames bibsort bibsource booktitle byyear casebound cdlib codetable conhome docstring e edu email findtitle focs htm http ieee ieeexplore iel ispell jsp lpdocs ltx melvyl microfiche nd nhfb opac org pdf publisher's punumber rd servlet showtags softbound sok srchtitle st th twocolumn unsrt utah v wc www x xii xiii xiv xpl xvi xvii xx