previous    up   next

Rules Inferences


The inference mechanisms for each kind of rule are given:


      previous    up   next     
  
 IRIT-UPS