2 research outputs found

    Explicit control of logic programs through rule algebra

    No full text
    corecore