Cite
APA Citation
RONDOGIANNIS, P., & SYMEONIDOU, I. (2017). the intricacies of three-valued extensional semantics for higher-order logic programs. Theory and practice of logic programming, 17(5), 974–991. http://access.bl.uk/ark:/81055/vdc_100050153499.0x000005