Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge. Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log., 14(3):21, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.