Switch to: References

Add citations

You must login to add citations.
  1. Computing finite models by reduction to function-free clause logic.Peter Baumgartner, Alexander Fuchs, Hans de Nivelle & Cesare Tinelli - 2009 - Journal of Applied Logic 7 (1):58-74.
    Download  
     
    Export citation  
     
    Bookmark