Carlos Araya Frank M. Brown SCHEMATA: A Language for Deduction. 38-40 1990 ECAI db/conf/ecai/ecai90.html#ArayaB90