On solving member and instance constraints: metaprogramming and metareasoning

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationLogic (META96)
    Volume127
    Place of PublicationUppsala
    PublisherComputer Science department, Uppsala University
    Publication date1996
    Pages13-25
    Publication statusPublished - 1996

    Cite this