Termination of logic programs using semantic unification

M.G.J. Arts, H. Zantema

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic Programming Synthesis and Transformation (Proceedings 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995)
    EditorsM. Proietti
    Place of PublicationBerlin
    PublisherSpringer
    Pages219-233
    ISBN (Print)3-540-60939-3
    Publication statusPublished - 1996

    Publication series

    NameLecture Notes in Computer Science
    Volume1048
    ISSN (Print)0302-9743

    Cite this