@book{1972-karp
,title={{13th annual symposium on switching and automata theory}}
,booktitle={{13th annual symposium on switching and automata theory}}
,author={Richard M. Karp (chairman)}
,publisher={IEEE Computer Society}
,address={Northridge}
,year={1972}
}