The following publications are possibly variants of this publication:
- Formalizing Air Traffic Control Regulations in PSOA RuleMLTheodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos. ruleml 2018: [doi]
- Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational LogicGen Zou, Harold Boley, Dylan Wood, Kieran Lea. ruleml 2017: [doi]
- Minimal Objectification and Maximal Unnesting in PSOA RuleMLGen Zou, Harold Boley. ruleml 2016: 130-147 [doi]
- PSOA RuleML API: A Tool for Processing Abstract and Concrete SyntaxesMohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker. ruleml 2012: 280-288 [doi]
- PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP ReasonersGen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov. ruleml 2012: 264-279 [doi]
- cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common LispMark Thom, Harold Boley, Theodoros Mitsikas. ruleml 2021: 234-249 [doi]
- PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem ProversGen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov. ruleml 2012: [doi]
- PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO PrologGen Zou, Harold Boley. ruleml 2015: 176-192 [doi]
- Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and KnowledgeTara Athan, Harold Boley, Rima Chaudhari. ruleml 2019: [doi]
- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDPMarjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens. ruleml 2019: 52-66 [doi]
- PSOA Prova: PSOA Translation of Pure Production Rules to the Prova EngineLukas Grätz, Harold Boley, Adrian Paschke. ruleml 2018: [doi]