Bibtex Entries for ACL2 Workshops

Introduction

I have put together a complete bibtex listing of all ACL2 workshop submissions.

You can also look at this pdf file to see what the keys are for each paper, or generate this document yourself using the .tex file.