Jia-Huai You
-
Equational logic programming: an extension to equational programming
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Selected AI-related dissertations
ACM SIGART Bulletin