Did you mean: Pettier, Nicolas
  1.  7
    A Term-Graph Clausal Logic: Completeness and Incompleteness Results★.Ricardo Caferra, Rachid Echahed & Nicolas Peltier - 2008 - Journal of Applied Non-Classical Logics 18 (4):373-411.
    A clausal logic allowing to handle term-graphs is defined. Term-graphs are a generalization of terms possibly containing shared subterms and cycles. The satisfiability problem for this logic is shown to be undecidable, but some fragments are identified for which it is semi-decidable. A complete calculus for these fragments is proposed. Some simple examples give a taste of this calculus at work.
    Direct download (3 more)  
    Export citation