A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. - Mark Harman; Robert M. Hierons; Mark Proctor (GECCO, 2002)

Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates. - Tracy Bost; Phillipe Bonnard; Mark Proctor (RuleML, 2007)

Relational Declarative Programming with JBoss Drools. - Mark Proctor (SYNASC, 2007)

Adding Uncertainty to a Rete-OO Inference Engine. - Davide Sottara; Paola Mello; Mark Proctor (RuleML, 2008)

Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. - Davide Sottara; Paola Mello; Mark Proctor (RuleML, 2009)

A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information. - Davide Sottara; Paola Mello; Mark Proctor (IEEE Trans. Knowl. Data Eng., 2010)

Drools: A Rule Engine for Complex Event Processing. - Mark Proctor (AGTIVE, 2011)

Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications. - Mark Proctor; Mario Fusco; Davide Sottara (RuleML, 2013)

Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning. - Mario Fusco; Davide Sottara; István Ráth; Mark Proctor (RuleML, 2015)

The Effectiveness of DMN Portability. - Mark Proctor; Edson Tirelli; Davide Sottara; Bruce Silver; Jacob Feldman; Mélanie Gauthier (RuleML+RR (Supplement), 2017)

Reducing the Cost of the Linear Growth Effect Using Adaptive Rules with Unlinking and Lazy Rule Evaluation. - Mark Proctor; Mario Fusco; Davide Sottara; Tibor Zimányi (OTM Conferences (2), 2018)

Rule Modularity and Execution Control Enhancements for a Java-Based Rule Engine. - Mark Proctor; Davide Sottara (AIKE, 2019)

Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment. - Davide Sottara; Mark Proctor; Stefano Bragaglia; Mohammad Hekmatnejad (RuleML+RR (Supplement), 2019)