1. Functional test generation for digital circuits described using binary decision diagrams;Abadir;IEEE Trans. Comput.,1986
2. Binary decision tree test functions;Aborhey;IEEE Trans. Comput.,1988
3. Two lower bounds for branching programs;Ajtai;Proc. 18th Symp. on Theory of Computing,1986
4. Binary decision diagrams;Akers;IEEE Trans. Comput.,1978
5. Functional testing with binary decision diagrams;Akers;Proc. 8th Internat. Symp. on Fault Tolerant Computing,1978