| DaftarIsitemplate | 
| Call Number | 
| SEM-198 | 
| Title | 
| Higher-order equational logic programming,Hal 254-267 | 
| Author | 
| Zhenyu Qian; | 
| Publisher | 
| Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 | 
| Subject | 
| Location |