| Original language | Undefined/Unknown |
|---|---|
| Pages | 721-725 |
| DOIs | |
| Publication status | Published - 1992 |
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems
Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
Research output: Contribution to conference › Paper