Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068418000108
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 1, 2018
Authors
Publisher
Cambridge University Press (CUP)