Conference paper
Symbolic simulation for correct machine design
William C. Carter, William H. Joyner, et al.
DAC 1979
Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator. © 1986, ACM. All rights reserved.
William C. Carter, William H. Joyner, et al.
DAC 1979
Daniel Brand, Reinaldo A. Bergamaschi, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Daniel Brand, William H Joyner Jr.
Computer Networks
William H. Joyner, Louise H. Trevillyan, et al.
DAC 1986