The CIFF Proof Procedure: Definition and Soundness Results. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., & Toni, F. Technical Report 2004/2, Department of Computing, Imperial College London, May, 2004.
The CIFF Proof Procedure: Definition and Soundness Results [pdf]Paper  bibtex   

Downloads: 0