0 citations0 referencesGoogle Scholardoi.orgSet theory in first-order logic: Clauses for Gödel's axiomsJournal of Automated Reasoning·1986·Vol. 2(3), pp. 287–327Citations Over TimeTop 10% of 1986 papersRobert S. Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark E. Stickel, L. WosRelated Papers→ An Axiomatic Foundation for Regret Theory(1993)171 cited→ On the Interpretation of Nonsymmetric Bargaining Solutions and Their Extension to Nonexpected Utility Preferences(1994)14 citedMarginalism and the Shapley value(2010)→ Revealed Relative Utilitarianism(2017)