Switch to: References

Add citations

You must login to add citations.
  1. The model evolution calculus as a first-order DPLL method.Peter Baumgartner & Cesare Tinelli - 2008 - Artificial Intelligence 172 (4-5):591-632.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation