Hypotheses Finding via Residue Hypotheses with the Resolution Principle.

Akihiro Yamamoto, Bertram Fronhfer

Browse the full ALT paper archive.