Computing Publications

Publications Home » Refinements of the CIFF Procedure

Refinements of the CIFF Procedure

Ulrich Endriss, Markos Hatzitaskos, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Conference or Workshop Paper
12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice (ARW 2005)
July, 2005
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.