1. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Issue 3 (10th August 2018) Authors: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 421 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗