Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. - Benjamin N. Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift (Challenge+DC@RuleML, 2015)

Ergo: A Quest for Declarativity in Logic Programming. - Benjamin N. Grosof; Michael Kifer; Theresa Swift; Paul Fodor; Janine Bloomfield (Prolog: The Next 50 Years, 2023)