Complexity of Existential Positive First-Order Logic
Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exr043
Full Text
Open PDFAbstract
Available in full text
Date
December 9, 2011
Authors
Publisher
Oxford University Press (OUP)
Available in full text
December 9, 2011
Oxford University Press (OUP)