Another Intuitionistic Completeness Proof. - Harrie C. M. de Swart (J. Symb. Log., 1976)

Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces. - Harrie C. M. de Swart (Math. Log. Q., 1976)

Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem. - Harrie C. M. de Swart (Math. Log. Q., 1976)

An Intuitionistically Plausible Interpretation of Intuitionistic Logic. - Harrie C. M. de Swart (J. Symb. Log., 1977)

First Steps in Intuitionistic Model Theory. - Harrie C. M. de Swart (J. Symb. Log., 1978)

The Continuum Hypothesis in Intuitionism. - W. Gielen; Harrie C. M. de Swart; Wim Veldman (J. Symb. Log., 1981)

A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS. - Harrie C. M. de Swart (J. Symb. Log., 1983)

Another tableau based automated theorem prover for classical logic. - Harrie C. M. de Swart; W. M. J. Ophelders (Bull. EATCS, 1988)

Improving tablog. - Harrie C. M. de Swart (Bull. EATCS, 1989)

Tableaux Versus Resolution a Comparison. - W. M. J. Ophelders; Harrie C. M. de Swart (Fundam. Informaticae, 1993)

Tableaux, resolution, and complexity of formulas. - Harrie C. M. de Swart; W. M. J. Ophelders (Methods Log. Comput. Sci., 1994)

Three Types of Redundancy in Integrity Checking: An Optimal Solution. - Ron Seljée; Harrie C. M. de Swart (Data Knowl. Eng., 1999)

Implication-with-possible-exceptions. - Nerman Jurrjus; Harrie C. M. de Swart (RelMiCS, 2000)

Implication with Possible Exceptions. - Herman Jurjus; Harrie C. M. de Swart (J. Symb. Log., 2001)

Categoric and Ordinal Voting: An Overview. - Harrie C. M. de Swart; Ad van Deemen; Eliora van der Hout; Peter Kop (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

A new model of coalition formation. - Agnieszka Rusinowska; Harrie C. M. de Swart; Jan-Willem van der Rijt (Soc. Choice Welf., 2005)

Social Software for Coalition Formation. - Agnieszka Rusinowska; Rudolf Berghammer; Patrik Eklund; Jan-Willem van der Rijt; Marc Roubens; Harrie C. M. de Swart (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Generalizing and Modifying the Hoede-Bakker Index. - Agnieszka Rusinowska; Harrie C. M. de Swart (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Using MACBETH to determine utilities of governments to parties in coalition formation. - Marc Roubens; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2006)

A Modern Perspective on Type Theory From its Origins until Today. - Harrie C. M. de Swart (J. Log. Lang. Inf., 2006)

Characteristic properties of list proportional representation systems. - Eliora van der Hout; Harrie C. M. de Swart; Annemarie ter Veer (Soc. Choice Welf., 2006)

Applying relational algebra and Rel. - Rudolf Berghammer; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2007)

Consensus reaching in committees. - Patrik Eklund; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2007)

A consensus model of political decision-making. - Patrik Eklund; Agnieszka Rusinowska; Harrie C. M. de Swart (Ann. Oper. Res., 2008)

Computational Social Choice Using Relation Algebra and RelView. - Harrie C. M. de Swart; Rudolf Berghammer; Agnieszka Rusinowska (RelMiCS, 2009)

An interdisciplinary approach to coalition formation. - Rudolf Berghammer; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2009)

Applying relation algebra and RelView to measures in a social network. - Rudolf Berghammer; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2010)

Social Networks: Prestige, Centrality, and Influence - (Invited Paper). - Agnieszka Rusinowska; Rudolf Berghammer; Harrie C. M. de Swart; Michel Grabisch (RAMiCS, 2011)

Computations on Simple Games Using RelView. - Rudolf Berghammer; Agnieszka Rusinowska; Harrie C. M. de Swart (CASC, 2011)

A relation-algebraic approach to simple games. - Rudolf Berghammer; Stefan Bolus; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2011)

Relational and algebraic methods in computer science. - Harrie C. M. de Swart (J. Log. Algebraic Methods Program., 2012)

Computing tournament solutions using relation algebra and RelView. - Rudolf Berghammer; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2013)

Spatial voting games, relation algebra and RelView. - Rudolf Berghammer; Agnieszka Rusinowska; Harrie C. M. de Swart (J. Log. Algebraic Methods Program., 2014)

The Borda Majority Count. - Manzoor Ahmad Zahid; Harrie C. M. de Swart (Inf. Sci., 2015)

Logic, Game Theory, and Social Choice: What Do They Have in Common? - Harrie C. M. de Swart (Axioms, 2022)