A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.

Geoff Sutcliffe

Browse the full LPAR paper archive.