Development and Evaluation of an Application in a Deductive Environment.

Ilias Petrounias, Pericles Loucopoulos

Browse the full CIKM paper archive.