B. Lin and A. Richard Newton

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M91/13

1991

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/ERL-91-13.pdf

---

BibTeX citation:

@techreport{Lin:M91/13,
    Author= {Lin, B. and Newton, A. Richard},
    Title= {Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams},
    Year= {1991},
    Month= {Jan},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1700.html},
    Number= {UCB/ERL M91/13},
}

EndNote citation:

%0 Report
%A Lin, B. 
%A Newton, A. Richard 
%T Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams
%I EECS Department, University of California, Berkeley
%D 1991
%@ UCB/ERL M91/13
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1700.html
%F Lin:M91/13