J82-1003 Goebel ( to appear ) that standard mechanical inference methods can readily be extended
隱藏細節