J82-1003 Goebel ( to appear ) that standard mechanical inference methods can readily be extended
hide detail