Chia-Yu Chen, Jungwook Choi, et al.
AAAI 2018
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.
Chia-Yu Chen, Jungwook Choi, et al.
AAAI 2018
Daniel Brand, William H. Joyner
IEEE Transactions on Communications
Daniel Brand, Pitro Zafiropulo
Journal of the ACM
Daniel Brand, Reinaldo A. Bergamaschi, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems