AbstractKeywordsProgram synthesisincomplete specificationsinductive inferencelogic programsintegrity constraintsGet full access to this articleView all access options for this article.Get access