SCHEMATA: A Language for Deduction.

Carlos Araya, Frank M. Brown

Browse the full ECAI paper archive.