 | Fronhöfer, Bertram |
 |
 | Fronhöfer, Bertram (Akihiro Yamamoto and Bertram Fronhöfer) -- A Theory of Hypothesis Finding in Clausal Logic - 2001 |
| Fronhöfer, Bertram (Akihiro Yamamoto and Bertram Fronhöfer) -- Hypotheses Finding via Residue Hypotheses with the Resolution Principle - 2000 |
| Fronhöfer, Bertram (Bertram Fronhöfer and Akihiro Yamamoto) -- Minimised Residue Hypotheses in Relevant Logic - 2002 |
|
