A Categorical Formulation for Critical-Pair/Completion Procedures. - Karel Stokkermans (CTRS, 1992)

Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. - Jochen Pfalzgraf; Ute Cornelia Sigmund; Karel Stokkermans (AISMC, 1994)

Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. - Jochen Pfalzgraf; Ute Cornelia Sigmund; Karel Stokkermans (Log. J. IGPL, 1996)

Modeling Interaction by Sheaves and Geometric Logic. - Viorica Sofronie-Stokkermans; Karel Stokkermans (FCT, 1999)

A Categorical Critical-pair Completion Algorithm. - Karel Stokkermans (J. Symb. Comput., 1999)