Switch to: References

Add citations

You must login to add citations.
  1. The limits of tractability in Resolution-based propositional proof systems.Stefan Dantchev & Barnaby Martin - 2012 - Annals of Pure and Applied Logic 163 (6):656-668.
    Download  
     
    Export citation  
     
    Bookmark   1 citation