Unravelling the Hidden Truth within Logical Statements: A Computer Tool.

Andrs Iglesias, Robert Ipanaqu, Edgar Johny Ojeda, Felipe Wilmer Malaver

Browse the full ICCSA paper archive.