Showing 1 - 1 results of 1 for search 'Sava Krstić', query time: 0.02s Refine Results
  1. 1
    Ground interpolation for the theory of equality

    Ground interpolation for the theory of equality by Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstić, Cesare Tinelli

    Published 2012-02-01
    Get full text
    Article

Search Tools: