Switch to: Citations

Add references

You must login to add references.
  1. A lower bound for the complexity of Craig's interpolants in sentential logic.Daniele Mundici - 1983 - Archive for Mathematical Logic 23 (1):27-36.
    Download  
     
    Export citation  
     
    Bookmark   4 citations