1 research outputs found

    A Resolution-Based Proof Procedure Using Deletion-Directed Search

    No full text
    corecore